• Beyer D and Löwe S. Explicit-State software model checking based on CEGAR and interpolation. Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering. (146-162).

    https://doi.org/10.1007/978-3-642-37057-1_11

  • Albarghouthi A, Gurfinkel A, Wei O and Chechik M. Abstract analysis of symbolic executions. Proceedings of the 22nd international conference on Computer Aided Verification. (495-510).

    https://doi.org/10.1007/978-3-642-14295-6_43

  • Jiang L and Su Z. Profile-guided program simplification for effective testing and analysis. Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering. (48-58).

    https://doi.org/10.1145/1453101.1453110

  • de Melo A, Nunes P and Xavier K. Towards verification and testing of Java programs. Proceedings of the 2008 ACM symposium on Applied computing. (730-734).

    https://doi.org/10.1145/1363686.1363858

  • Kim M. Formal modeling and verification of high-availability protocol for network security appliances. Proceedings of the 5th international conference on Automated technology for verification and analysis. (489-500).

    /doi/10.5555/1779046.1779083

  • Calamé J, Ioustinova N, Van De Pol J and Sidorova N. Bug hunting with false negatives. Proceedings of the 6th international conference on Integrated formal methods. (98-117).

    /doi/10.5555/1770498.1770504

  • Sen K and Agha G. Automated systematic testing of open distributed programs. Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering. (339-356).

    https://doi.org/10.1007/11693017_25

  • Gurfinkel A and Chechik M. Why waste a perfectly good abstraction?. Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems. (212-226).

    https://doi.org/10.1007/11691372_14

  • Chen G, Kandemir M, Vijaykrishnan N and Irwin M. Object duplication for improving reliability. Proceedings of the 2006 Asia and South Pacific Design Automation Conference. (140-145).

    https://doi.org/10.1145/1118299.1118343

  • Chaki S, Clarke E, Grumberg O, Ouaknine J, Sharygina N, Touili T and Veith H. State/Event software verification for branching-time specifications. Proceedings of the 5th international conference on Integrated Formal Methods. (53-69).

    https://doi.org/10.1007/11589976_5

  • Sen K, Marinov D and Agha G. CUTE. Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering. (263-272).

    https://doi.org/10.1145/1081706.1081750

  • Sen K, Marinov D and Agha G. (2005). CUTE. ACM SIGSOFT Software Engineering Notes. 30:5. (263-272). Online publication date: 1-Sep-2005.

    https://doi.org/10.1145/1095430.1081750

  • Ball T, Kupferman O and Yorsh G. Abstraction for falsification. Proceedings of the 17th international conference on Computer Aided Verification. (67-81).

    https://doi.org/10.1007/11513988_8

  • Loginov A, Reps T and Sagiv M. Abstraction refinement via inductive learning. Proceedings of the 17th international conference on Computer Aided Verification. (519-533).

    https://doi.org/10.1007/11513988_50

  • Iosif R, Dwyer M and Hatcliff J. (2005). Translating Java for Multiple Model Checkers. Formal Methods in System Design. 26:2. (137-180). Online publication date: 1-Mar-2005.

    https://doi.org/10.1007/s10703-005-1491-3

  • Penix J, Visser W, Park S, Pasareanu C, Engstrom E, Larson A and Weininger N. (2005). Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design. 26:2. (103-135). Online publication date: 1-Mar-2005.

    https://doi.org/10.1007/s10703-005-1490-4

  • Chaki S, Clarke E, Groce A, Ouaknine J, Strichman O and Yorav K. (2004). Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design. 25:2-3. (129-166). Online publication date: 1-Sep-2004.

    https://doi.org/10.1023/B:FORM.0000040026.56959.91

  • Del Mar Gallardo M, Martínez J, Merino P and Pimentel E. (2004). źSPIN. International Journal on Software Tools for Technology Transfer (STTT). 5:2-3. (165-184). Online publication date: 1-Mar-2004.

    /doi/10.5555/3049063.3049098

  • Automated, compositional and iterative deadlock detection. Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design. (201-210).

    https://doi.org/10.1109/MEMCOD.2004.1459856

  • Groce A and Visser W. Model checking Java programs using structural heuristics. Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis. (12-21).

    https://doi.org/10.1145/566172.566175

  • Groce A and Visser W. (2002). Model checking Java programs using structural heuristics. ACM SIGSOFT Software Engineering Notes. 27:4. (12-21). Online publication date: 1-Jul-2002.

    https://doi.org/10.1145/566171.566175

  • Hatcliff J, Dwyer M, Păsăreanu C and Robby . Foundations of the Bandera abstraction tools. The essence of computation. (172-203).

    /doi/10.5555/860256.860266

  • Dwyer M, Hatcliff J, Joehanes R, Laubach S, Păsăreanu C, Zheng H and Visser W. Tool-supported program abstraction for finite-state verification. Proceedings of the 23rd International Conference on Software Engineering. (177-187).

    /doi/10.5555/381473.381493