Author of the publication

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing.

, , , , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 56-65. (2009)

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

Using Docker to Assist Q&A Forum Users., , and . IEEE Trans. Software Eng., 47 (11): 2563-2574 (2021)A Formal Monitoring-Based Framework for Software Development and Analysis., , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 357-372. Springer, (2004)Prioritizing Runtime Verification Violations., , , and . ICST, page 297-308. IEEE, (2020)Shaker: a Tool for Detecting More Flaky Tests Faster., , , , and . ASE, page 1281-1285. IEEE, (2021)A Design for JTrader, an Internet Trading Service., and . IICS, volume 2060 of Lecture Notes in Computer Science, page 159-166. Springer, (2001)Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers., , and . (March 2024)Efficient Monitoring of omega-Languages., and . CAV, volume 3576 of Lecture Notes in Computer Science, page 364-378. Springer, (2005)Runtime Verification of Crypto APIs: An Empirical Study., , , , , , , , and . IEEE Trans. Software Eng., 49 (10): 4510-4525 (October 2023)Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data. University of Illinois Urbana-Champaign, USA, (2007)Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification., , , and . ICST, page 82-93. IEEE, (2021)