Author of the publication

Test4Enforcers: Test Case Generation for Software Enforcers.

, , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 279-297. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Test4Enforcers: Test Case Generation for Software Enforcers., , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 279-297. Springer, (2020)Exception-Driven Fault Localization for Automated Program Repair., , , and . QRS, page 598-607. IEEE, (2021)The ineffectiveness of domain-specific word embedding models for GUI test reuse., , , , , and . ICPC, page 560-564. ACM, (2022)FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade., , , and . ISSRE, page 358-368. IEEE, (2019)Generation of Integration Tests for Self-Testing Components., , and . FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 337-350. Springer, (2004)Verifying Policy Enforcers., , , and . RV, volume 10548 of Lecture Notes in Computer Science, page 241-258. Springer, (2017)Increasing the Reusability of Enforcers with Lifecycle Events., , and . ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 51-57. Springer, (2018)Semantic matching of GUI events for test reuse: are we there yet?, , , and . ISSTA, page 177-190. ACM, (2021)Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques., , , , , , , , and . MoDELS (Companion), page 520-529. IEEE, (2023)Complementarities Among the Technologies Presented in the Book., , , and . Validation of Evolving Software, Springer, (2015)