Emilio José Calleja García - Profile on Academia.edu (original) (raw)

Emilio José Calleja García

Athul Gangadharan related author profile picture

Anna  Corazza related author profile picture

Alessandro Moschitti related author profile picture

Barbara Plank related author profile picture

mo jamshidi related author profile picture

Dr. Mamta Baheti CS Hislop College related author profile picture

Alberto Silva related author profile picture

Paulo Gomes related author profile picture

Leandro Antonelli related author profile picture

Ayad T . Imam related author profile picture

Uploads

Papers by Emilio José Calleja García

Research paper thumbnail of NLP-Based Requirements Formalization for Automatic Test Case Generation

Due to the growing complexity and rapid changes of software systems, the assurance of their quali... more Due to the growing complexity and rapid changes of software systems, the assurance of their quality becomes increasingly difficult. Model-based testing in agile development is a way to overcome these difficulties. However, major effort is still required to create specification models from a large set of functional requirements provided in natural language. This paper presents an approach for a machineaided requirements formalization technique based on Natural Language Processing (NLP) to be used for an automatic test case generation. The goal of the presented method is to automate the process of model creation from requirements in natural language by utilizing appropriate algorithms, thus reducing cost and effort. The application of our procedure will be demonstrated using an industry example from the e-mobility domain. In this example, requirement models are generated for a charging approval system within a larger vehicle battery charging application. Additionally, existing tools f...

Research paper thumbnail of Testing a battery management system via criticality-based rare event simulation

Testing a battery management system via criticality-based rare event simulation

Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems

Research paper thumbnail of NLP-Based Requirements Formalization for Automatic Test Case Generation

Due to the growing complexity and rapid changes of software systems, the assurance of their quali... more Due to the growing complexity and rapid changes of software systems, the assurance of their quality becomes increasingly difficult. Model-based testing in agile development is a way to overcome these difficulties. However, major effort is still required to create specification models from a large set of functional requirements provided in natural language. This paper presents an approach for a machineaided requirements formalization technique based on Natural Language Processing (NLP) to be used for an automatic test case generation. The goal of the presented method is to automate the process of model creation from requirements in natural language by utilizing appropriate algorithms, thus reducing cost and effort. The application of our procedure will be demonstrated using an industry example from the e-mobility domain. In this example, requirement models are generated for a charging approval system within a larger vehicle battery charging application. Additionally, existing tools f...

Research paper thumbnail of Testing a battery management system via criticality-based rare event simulation

Testing a battery management system via criticality-based rare event simulation

Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems

Log In