Author of the publication

Learning Likely Invariants to Explain Why a Program Fails.

, , , , and . ICECCS, page 70-79. IEEE Computer Society, (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

Concolic Testing Heap-Manipulating Programs., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 442-461. Springer, (2019)Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning., , and . APLAS, volume 11893 of Lecture Notes in Computer Science, page 405-424. Springer, (2019)Testing heap-based programs with Java StarFinder., , , , and . ICSE (Companion Volume), page 268-269. ACM, (2018)Learning Likely Invariants to Explain Why a Program Fails., , , , and . ICECCS, page 70-79. IEEE Computer Society, (2017)Learning Likely Invariants to Explain Why a Program Fails., , , , and . CoRR, (2016)Assertion generation through active learning., , and . ICSE (Companion Volume), page 155-157. IEEE Computer Society, (2017)Assisting Students in Finding Bugs and their Locations in Programming Solutions., , , , , and . IJQAETE, 3 (2): 12-27 (2014)