A framework for the collaborative specification of semantically annotated business processes

APOGEN: automatic page object generator for web testing

scientific article published in 2016

Assessing the security of inter-app communications in android through reinforcement learning

scientific article published in 2023

Automated generation of state abstraction functions using data invariant inference

Automated refactoring of object oriented code into aspects

Collaborative Specification of Semantically Annotated Business Processes

Crawlability Metrics for Web Applications

Efficient and Effective Feature Space Exploration for Testing Deep Learning Systems

scientific article published on 29 June 2022

Evolutionary testing of autonomous software agents

FITTEST: A new continuous and automated testing process for future Internet applications

Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs

Future Internet Testing with FITTEST

Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study

scientific article published on 19 August 2021

Improving Web Application Testing using testability measures

In vivo test and rollback of Java applications as they are

scientific article published on 25 June 2023

Semantically-Aided Business Process Modeling

Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes

Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist

scientific article published on 23 May 2024

Symbolic search-based testing

The species per path approach to SearchBased test data generation

Tool-Supported Refactoring of Existing Object-Oriented Code into Aspects

Workshop Introduction Astrenet Aspect Analysis