| |
I am a post doc researcher at the Software Engineering Chair (Prof. Zeller) at Saarland University.
The central theme of my research is improving software quality, and my
recent research concerns the prevention, detection, and removal of
defects in software. More specifically, I develop techniques to
generate test cases automatically, and to guide the tester in
validating the output of tests by producing test oracles and
specifications. Because of the necessity to involve humans in the
testing process I investigate how to make these artifacts readable
and understandable. At the same time, I strive to develop
techniques that are both scalable to complex real-world software
and practically usable, yet preserve their strong formal
foundation.
- Generating complex test inputs: String generation, deriving complex data types via method sequences, evolutionary search methods for complex data types, automated mock object creation
- Test generation algorithms: Dynamic symbolic execution, evolutionary search
- Generating realistic test cases: Mining data to create test cases that reflect actual, realistic usage.
- Oracle generation: How can we support the tester in deriving good oracles? How to measure "good" in a test oracle?
- Test derivation from UML Statecharts, code-based mutation testing to improve UML test models - cooperation with Bergamo University, Italy (travel funding available!)
If you are interested in any of these topics or have other ideas, just send an email and we will see if we can find a suitable topic.
Upcoming special issues:
I am involved in the following upoming events:
- 22nd International Symposium on Software Reliability Engineering (ISSRE 2011), PC Member
- 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (SIGSOFT/FSE-19) and 13rd European Software Engineering Conference (ESEC-13) (ESEC/FSE 2011), Proceedings Chair
- 4th International Conference on Software Testing, Verification, and Validation (ICST'11), Dissertation Chair
- International Conference on Software Testing, Verification and Validation (ICST 2011)
- Testing: Academic and Industrial Conference - Practice and
Research Techniques (TAIC PART 2011), General Chair
- 7th TAROT Summer School on Software Testing (TAROT 2011), Invited Speaker
- 11th International Conference on Quality Software (QSIC 2011), PC Member
- International Workshop on Automation of Software Test (AST 2011), PC Member
- International Workshop on Search-based Software Testing (SBST 2011), PC Member
- Refactoring and Testing Workshop (RefTest 2011), PC Member
- International Workshop on Advances in Model Based Testing (A-MOST 2011), PC Member
- International Workshop on Mutation Analysis (Mutation 2011), PC Member
- 4th International Conference on Tests and Proofs (TAP 2011), Proceedings Chair 2011
- 3rd International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2011), Co-chair
Past events:
- 6th TAROT Summer School on Software Testing (TAROT 2010), General Chair
- Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2010), Programme Co-chair
- International Workshop on Mutation Analysis (Mutation 2009, 2010), Co-chair
- International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2010), Co-chair
- Fourth International Conference on Tests and Proofs: TAP 2010, Program Co-chair
- International Conference on Software Testing, Verification and Validation (ICST 2009, 2010), PC Member
- International Conference on Testing Software and Systems (ICTSS 2010), PC Member
- International Conference on Testing of Communicating Systems (TESTCOM) and the 9th International Workshop on Formal Approaches to Testing of Software (FATES) (TESTCOM/FATES 2009), PC Member
- International Testing: Academic and Industrial Conference - Practice and Research Techniques: (TAIC-PART 2009, PC Member, 2010, Program Chair)
- International Conference on Quality Software (QSIC 2009, 2010), PC Member
- International Conference on Signal-Image Technology and Internet-Based Systems, Track WITDS (SITIS 2009), PC Member
- International Workshop on Mutation Analysis (Mutation 2009, 2010), Program Chair
- International Workshop on Advances in Model Based Testing (A-MOST 2008, PC Member, 2009, Program Chair, 2010), PC Member
- International Workshop on Validation and Verification of
Dynamic Systems (VIDAS 2010), PC Member
- International Workshop on Automation of Software Test (AST 2010), PC Member
- International Conference on Software Engineering Advances (ICSEA 2008, 2009, 2010), PC Member
- International Conference on Advances in System Testing and
Validation (VALID 2009, 2010), PC Member
My recent publications can be found at the Publication Page. For an out-dated list of previous publications please check my old homepage.
Impressum ● Datenschutzerklärung
<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de//~fraser/ · Stand: 2011-06-11 08:49
|
---|