Author of the publication

Intrinsic Redundancy for Reliability and Beyond.

, , , and . Present and Ulterior Software Engineering, Springer, (2017)

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

Automatic generation of oracles for exceptional behaviors., , , and . ISSTA, page 213-224. ACM, (2016)Dynamic Analysis of Upgrades in C/C++ Software., , , , and . ISSRE, page 91-100. IEEE Computer Society, (2012)Cross-checking oracles from intrinsic software redundancy., , , , and . ICSE, page 931-942. ACM, (2014)Intrinsic Redundancy for Reliability and Beyond., , , and . Present and Ulterior Software Engineering, Springer, (2017)Intrinsic software redundancy for self-healing software systems, automated oracle generation., , , , , , and . Software Engineering & Management, volume P-239 of LNI, page 129-130. GI, (2015)RADAR: a tool for debugging regression problems in C/C++ software., , and . ICSE, page 1335-1338. IEEE Computer Society, (2013)Search-based synthesis of equivalent method sequences., , , , and . SIGSOFT FSE, page 366-376. ACM, (2014)Synthesis of Equivalent Method Calls in Guava., , and . SSBSE, volume 9275 of Lecture Notes in Computer Science, page 248-254. Springer, (2015)Translating code comments to procedure specifications., , , , , , and . ISSTA, page 242-253. ACM, (2018)Automatic generation of cost-effective test oracles.. ICSE Companion, page 678-681. ACM, (2014)