From post

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.

 

Другие публикации лиц с тем же именем

Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs., , и . ACM Trans. Softw. Eng. Methodol., 33 (6): 142 (июля 2024)Efficient Analysis of DynAlloy Specifications, , , и . ACM Trans. Softw. Eng. Methodol., 17 (1): 1--34 (декабря 2007)A Dataflow Analysis to Improve SAT-Based Bounded Program Verification., , , и . SEFM, том 7041 из Lecture Notes in Computer Science, стр. 138-154. Springer, (2011)SQL data generation to enhance search-based system testing., и . GECCO, стр. 1390-1398. ACM, (2019)TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds., , , и . IEEE Trans. Software Eng., 39 (9): 1283-1307 (2013)ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models., , , и . ASM, том 5977 из Lecture Notes in Computer Science, стр. 396-397. Springer, (2010)EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research., , , , , , и . ICST, стр. 433-442. IEEE, (2023)Handling SQL Databases in Automated System Test Generation., и . ACM Trans. Softw. Eng. Methodol., 29 (4): 22:1-22:31 (2020)Parallel bounded analysis in code with rich invariants by refinement of field bounds., , , , , , , и . ISSTA, стр. 23-33. ACM, (2013)EvoSuiteDSE at the SBST 2021 Tool Competition., и . SBST@ICSE, стр. 30-31. IEEE, (2021)