2. SEFM 2004:
Beijing,
China
2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China.
IEEE Computer Society 2004, ISBN 0-7695-2222-X BibTeX
Keynote 1
Session 1A:
Parallel Distributed Systems
Session 1B:
Automated Proof and Model Checking
Keynote 2
Session 2A:
System Modelling and Development
Session 2B:
Model Integration and Theory Unification
Keynote 3
Session 3:
Object-Oriented and Component-Based Development
Keynote 4
Session 4A:
Testing and Validation
- Jian Zhang, Chen Xu, Xiaoliang Wang:
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques.
242-250
Electronic Edition (link) BibTeX
- Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira:
Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis.
251-260
Electronic Edition (link) BibTeX
- Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby:
Generating Efficient Test Sets with a Model Checker.
261-270
Electronic Edition (link) BibTeX
- Zhongjie Li, Xia Yin, Jianping Wu:
Distributed Testing of Multi Input/Output Transition System.
271-280
Electronic Edition (link) BibTeX
- Ying Hu, Clark W. Barrett, Benjamin Goldberg:
Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.
281-289
Electronic Edition (link) BibTeX
Session 4B:
System Correctness Analysis and Refinement
Keynote 5
Session 5A:
Architecture and Co-Design
Session 5B:
Automated Analysis and Verification
Copyright © Sat May 16 23:37:24 2009
by Michael Ley (ley@uni-trier.de)