29. ICSE 2007 / AST 2007: Minneapolis, MN, USA

Hong Zhu, W. Eric Wong, Amit M. Paradkar (Eds.): Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007. IEEE 2007, ISBN 0-7695-2892-9

Keynote Address

Mark Harman:
Automated Test Data Generation using Search Based Software Engineering. 1-2

Test Generation and Execution

Abu Zafer Javed, Paul A. Strooper, Geoffrey Watson:
Automated Generation of Test Cases Using Model-Driven Architecture. 3-9
Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini:
Automatic Test Data Generation for XML Schema-based Partition Testing. 10-16
Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov:
Towards a Framework for Differential Unit Testing of Object-Oriented Programs. 17-23

Domain Specific Techniques

Hasan Ural, Zhi Xu, Fan Zhang:
An Improved Approach to Passive Testing of FSM-based Systems. 24-30
Xianming Wu, J. Jenny Li, David M. Weiss, Yann-Hang Lee:
Coverage-Based Testing on Embedded Systems. 31-36
Bo Jiang, Xiang Long, Xiaopeng Gao:
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices. 37-43
Jooyoung Seo, Ahyoung Sung, Byoungju Choi, Sungbong Kang:
Automating Embedded Software Testing on an Emulated Target Board. 44-50
Karun N. Biyani, Sandeep S. Kulkarni:
Testing Dynamic Adaptation in Distributed Systems. 51-54

Case Studies and Experiments

Robert Nilsson, Jeff Offutt:
Automated Testing of Timeliness: A Case Study. 55-61
Abdesselam Lakehal, Ioannis Parissis:
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. 62-68
John A. Murphy, David Coppit:
Random Generation of Test Inputs for Implicitly Defined Subdomains. 69-72

Last update Fri May 25 08:21:15 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page