SSS '12 is the fourth in a series of symposia on best practices in software engineering and development in the embedded and critical systems domain, organized by the University of Minnesota Software Engineering Center. Each year, we choose a theme and present a full day of stimulating talks, workshops, tutorials, and other activities. We strive to make it practical, relevant, free of hype, and non-commercial. This year’s theme is “Effective Testing and Analysis.” The event is being hosted in conjunction with ISSTA 2012, a premier international conference on software testing and analysis.
Friday, July 20th 2012, 8:00-16:30
On-site registration and continental breakfast start at 8:00.
- University of Minnesota, Minneapolis Campus,
McNamara Alumni Center,
at the corner of Oak and Washington.
See Directions and Parking or explore the Interactive Map for other options. (
A word of warning: there is a lot of construction on campus. Driving can be painful).
- The early registration fee is $250. ACM members and students are eligible for a discount. The fees for non-students increase by $50 after June 18, 2012.
- Please follow the directions for registration at the ISSTA 2012 conference page.
- The University Hotel Minneapolis is less than a block away.
Effective Testing and Analysis
Testing and verification account for a significant fraction of the development costs associated with critical software. Recent advances in analysis algorithms have opened up a wide range of automated analysis approaches, including automated test generation, static analysis, and model checking. Each of these approaches can increase the rigor of verification and validation of software while reducing costs. However, there are many questions as to how to deploy each technique effectively and how to combine results from different verification approaches. In this symposium, we will discuss current research in automated analysis and how to craft an effective V&V strategy that uses a range of verification techniques.
|08:00 - 08:30||Breakfast and On-site Registration|
|08:30 - 09:00||Welcome Address and Program Overview||
(Professor and Director of U of M Software Engineering Center)
|09:00 - 10:30||Safety Assurance Cases and the FDA: Current Status and Future Plans||
(Branch Chief, General Hospital Devices Branch, Office of Device Evaluation,
Center for Devices and Radiological Health, FDA)
|10:30 - 10:45||Refreshment Break|
|10:45 - 11:45||
Instrumention-Based Verification for Medical-Device Software ||
(Professor, University of Maryland, and
Executive and Scientific Director, Fraunhofer USA Center for Experimental Software Engineering)
|11:45 - 12:45||Lunch Break|
|12:45 - 13:45||Finding the Static Analysis Sweet Spot||
(Vice President of Engineering, GrammaTech)
|13:45 - 14:15||The FDA Forensics Lab: Mission and Capabilities||
|14:15 - 14:30||Refreshment Break|
|14:30 - 15:30||
Practical Software Analysis ||
(Senior Research Scientist, LaRS @ JPL, NASA)
|15:30 - 16:15||Ask The Experts Panel with Speakers||Moderator: Mats Heimdahl|
|16:15 - 16:30||Concluding Remarks||Mats Heimdahl|