Marco Radavelli

J. Syst. Softw., 2019

Repairing Timed Automata Clock Guards through Abstraction and Testing.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 13th International Conference, 2019

A process for fault-driven repair of constraints among features.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Using software testing to repair models.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Using Testing to Repair Models.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

An evolutionary process for product-driven updates of feature models.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Migrating Combinatorial Interaction Test Modeling and Generation to the Web.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2017

Combinatorial Interaction Testing for Automated Constraint Repair.

[BibT_eX]

[DOI]

Justyna Petke