Author of the publication

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.

, , , , , and . ICSE, page 1193-1205. ACM, (2022)

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

Configuration-aware regression testing: an empirical study of sampling and prioritization., , and . ISSTA, page 75-86. ACM, (2008)Easing the generation of predictive human performance models from legacy systems., , , and . CHI, page 2489-2498. ACM, (2012)Beyond the rainbow: self-adaptive failure avoidance in configurable systems., , , , and . SIGSOFT FSE, page 377-388. ACM, (2014)Directed test suite augmentation: techniques and tradeoffs., , , , and . SIGSOFT FSE, page 257-266. ACM, (2010)Automated testing of GUI applications: models, tools, and controlling flakiness., and . ICSE, page 1479-1480. IEEE Computer Society, (2013)Augmenting Simulated Annealing to Build Interaction Test Suites., , and . ISSRE, page 394-405. IEEE Computer Society, (2003)The Assurance Timeline: Building Assurance Cases for Synthetic Biology., , and . SAFECOMP Workshops, volume 9923 of Lecture Notes in Computer Science, page 75-86. Springer, (2016)A deterministic density algorithm for pairwise interaction coverage., , and . IASTED Conf. on Software Engineering, page 345-352. IASTED/ACTA Press, (2004)End-to-end molecular communication channels in cell metabolism: an information theoretic study., , , , , , and . NANOCOM, page 21:1-21:6. ACM, (2017)HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial Vehicles., , , , , , , and . CHI, page 266:1-266:14. ACM, (2024)