Exploiting annotations to test break-off branches

I. S. W. B. Prasetya, J. Hage, A. Elyasov

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Programs often contain branches to break off from their main execution. These branches contribute to the total cost of testing, because they also need to be tested. The paper presents a new approach to improve the testing of such branches by annotating them. Our tool automatically generates test-sequences. Then, invariants in the form of pre-and post-condition over the executions passing each annotated branch are dynamically inferred, and reported to the programmer for inspection. Contradiction with the programmer's assumption on what the behavior should be indicates a bug. As invariants, a certain class of simple expressions are proposed, which are discriminative enough for testing break-off behavior, while keeping their amount feasible for inspection.
Original languageEnglish
Title of host publication2015 Asia-Pacific Software Engineering Conference (APSEC)
Number of pages8
ISBN (Electronic)9781467396448
Publication statusPublished - 12 May 2016


  • Automated testing Java
  • Automated testing Object Oriented programs
  • Automated unit testing
  • Invariant inference
  • Specification mining


Dive into the research topics of 'Exploiting annotations to test break-off branches'. Together they form a unique fingerprint.

Cite this