Software Testing
This seminar covers important achievements in the area of Automated Black-box and White-box Testing.
| Course type | Block Seminar |
|---|---|
| Instructors | Stephan Arlt |
| Kick-Off | November 10, 2011 |
| Presentation | February 22-24, 2012 |
|
Presentation language |
English |
| Credits | 4 |
| Course Catalog | Software Testing |
News
- The slides of the kick-off event are available here.
- The kick-off event will be held on November 10th, 2pm, in room 02-017, building 052.
Topics
- Automatic partial loop summarization in dynamic test generation
Assigned to Simon Rettberg, and Hamdi Nasri - eXpress: guided path exploration for efficient regression test generation
Assigned to Sabine Rogg, and Jan Hättig - Symbolic execution with mixed concrete-symbolic solving
Assigned to Tahir Ahmed, and Javed Sarwar - Testing concurrent programs on relaxed memory models
- Precise identification of problems for structural test generation
Assigned to Anas Alzoghbi, and Victor Anthony Arrascue Ayala - Event Listener Analysis and Symbolic Execution for Testing GUI Applications
Assigned to Andreas Schlegel, and Jan Mortensen - Debug Support for Model-Based GUI Testing
- Using GUI Run-Time State as Feedback to Generate Test Cases
Assigned to Richard Schneider, and Tobias Seufert - Feedback driven adaptive combinatorial testing
- Generating parameterized unit tests
Assigned to Tri Atamoka, and Soulaiman Ghanem - Exploiting Common Object Usage in Test Case Generation
Assigned to Ahmad Siyar Andisha, and Jens Cornelis - It is Not the Length That Matters, It is How You Control It
Assigned to Abhirami Vijayakumar, and Vasumathi Jayakumar