Modular Verification of Code with SAT Greg Dennis ▪ Software Design Group ▪ MIT joint work with Felix Chang and Daniel Jackson ISSTA 2006 ▪ July 18, 2006 Software Components

Source URL: sdg.csail.mit.edu

2012 International Symposium on Software Testing and Analysis Organizing Committee: General Chair: Mats Heimdahl University of Minnesota Program Chair: Zhendong Su

Source URL: crisys.cs.umn.edu

• Issta
• Whalen

ACM International Symposium on Software Testing and Analysis (ISSTA), July[removed]Winner of an ACM SIGSOFT Distinguished Paper Award. Korat: Automated Testing Based on Java Predicates Chandrasekhar Boyapati, Sarfraz Khur

Source URL: web.eecs.umich.edu

• Search algorithms
• Software testing
• Java programming language
• Java Modeling Language
• Java platform
• Korat
• Linked list
• KeY
• Binary tree
• Computing
• Computer programming
• Software engineering

CALL FOR PAPERS The first Joining AcadeMiA and Industry Contributions to testing Automation Workshop, JAMAICA 2013 July 15th 2013 – Lugano, Switzerland. Co-located with ISSTA 2013 In industrial software systems, testin

Source URL: www.sesm.it

• Model-driven engineering
• Model-based testing
• Automation
• Software
• Engineering
• Software testing
• Technology
• Test automation

Andreas Zeller · Software Systems Dept. · Passau University Simplifying Failure-Inducing Input Ralf Hildebrandt and Andreas Zeller ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) Portland,

Source URL: www.cc.gatech.edu

• Computing
• ALGOL 68
• C
• Software engineering
• Programming language theory
• Procedural programming languages

PDF Document

Source URL: research.microsoft.com

• Software testing
• Constraint programming
• Fuzz testing
• Programming paradigms
• Issta
• Sage
• Software engineering
• Mathematical software
• Computing