The Community for Technology Leaders
Automation of Software Test, Second International Workshop on (2009)
Vancouver, BC Canada
May 18, 2009 to May 19, 2009
ISBN: 978-1-4244-3711-5
TABLE OF CONTENTS

Session list (PDF)

pp. iv

Porantim: An approach to support the combination and selection of Model-based Testing techniques (PDF)

Arilo Claudio Dias Neto , Federal University of Rio de Janeiro, Systems Engineering and Computer Science Program - COPPE/UFRJ, P.O. Box 68511 - 21941-972, Brazil
Guilherme Horta Travassos , Federal University of Rio de Janeiro, Systems Engineering and Computer Science Program - COPPE/UFRJ, P.O. Box 68511 - 21941-972, Brazil
pp. 1-9

Towards an automated testing framework to manage variability using the UML Testing Profile (PDF)

Beatriz Perez Lamancha , Software Testing Centre (CES), School of Engineering, University of the Republic, Julio Herrera y Reissig 565, 11300, Montevideo, Uruguay
Macario Polo Usaola , Alarcos Research Group, Information Systems and Technologies Department, University of Castilla-La Mancha, Paseo de la Universidad/4, 13071, Ciudad Real, Spain
Mario Piattini Velthius , Alarcos Research Group, Information Systems and Technologies Department, University of Castilla-La Mancha, Paseo de la Universidad/4, 13071, Ciudad Real, Spain
pp. 10-17

Experiments on the test case length in specification based test case generation (PDF)

Gordon Fraser , Institute for Software Technology, Graz University of Technology, Inffeldgasse 16b/2, A-8010, Austria
Angelo Gargantini , Dip. di Ing. dell'Informazione e Metodi Mat., University of Bergamo, Viale Marconi 5, 24044 Dalmine, Italia
pp. 18-26

An experimental study of methods for executing test suites in memory constrained environments (PDF)

Suvarshi Bhadra , Milcord LLC, USA
Alexander Conrad , Allegheny College, USA
Charles Hurkes , Allegheny College, USA
Brian Kirklin , Allegheny College, USA
Gregory M. Kapfhammer , Allegheny College, USA
pp. 27-35

Automated test program generation for an industrial optimizing compiler (PDF)

Chen Zhao , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Yunzhi Xue , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Qiuming Tao , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Liang Guo , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Zhaohui Wang , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
pp. 36-43

The automated generation of test cases using an extended domain based reliability model (PDF)

Alberto Avritzer , Siemens Corporate Research, 755 College Road East, Princeton, NJ 08540, USA
Elaine J. Weyuker , AT&T Labs - Research, 180 Park Avenue, Florham Park, NJ 07932, USA
pp. 44-52

Model based functional testing using pattern directed filmstrips (PDF)

Tony Clark , Centre for Model Driven Software Engineering, School of Computing, Thames Valley University, St Mary's Road, Ealing, London, UK, W5 5RF
pp. 53-61

Security test generation using threat trees (PDF)

Aaron Marback , Department of Computer Science, North Dakota State University, Fargo, 58108, USA
Hyunsook Do , Department of Computer Science, North Dakota State University, Fargo, 58108, USA
Ke He , Department of Computer Science, North Dakota State University, Fargo, 58108, USA
Samuel Kondamarri , Department of Computer Science, North Dakota State University, Fargo, 58108, USA
Dianxiang Xu , Department of Computer Science, North Dakota State University, Fargo, 58108, USA
pp. 62-69

Automating structural testing of C programs: Experience with PathCrawler (PDF)

Bernard Botella , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Mickael Delahaye , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Stephane Hong-Tuan-Ha , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Nikolai Kosmatov , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Patricia Mouy , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Muriel Roger , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
Nicky Williams , CEA LIST, Software Reliability Laboratory, 91191 Gif-sur-Yvette France
pp. 70-78

Lazy symbolic evaluation and its path constraints solution (PDF)

Meng-xiang Lin , State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China
Yin-li Chen , State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China
Kai Yu , State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China
Guo-shi Wu , School of Software Engineering, Beijing University of Posts and Telecommunications, 100876, China
pp. 79-87

Test generation strategies to measure worst-case execution time (PDF)

Nicky Williams , CEA LIST, Software Reliability Laboratory, 91191Gif sur Yvette, FRANCE
Muriel Roger , CEA LIST, Software Reliability Laboratory, 91191Gif sur Yvette, FRANCE
pp. 88-96

Automated functional testing of search engine (PDF)

Lingzi Jin , New Media Technology Department, Yell Group, Queens Walk, Reading, UK, RG1 7PT
pp. 97-100

Automated testing of a converged conferencing application (PDF)

Venkita Subramonian , AT&T Labs Research, Florham Park, NJ, USA
Eric Cheung , AT&T Labs Research, Florham Park, NJ, USA
Gerald Karam , AT&T Labs Research, Florham Park, NJ, USA
pp. 101-105

Towards a practical and effective method for Web services test case generation (PDF)

Zhong Jie Li , IBM China Research Lab, China
Jun Zhu , IBM China Research Lab, China
Liang-Jie Zhang , IBM Watson Research Center, USA
Naomi M. Mitsumori , IBM Global Business Services, USA
pp. 106-114

Calculating BPEL test coverage through instrumentation (PDF)

Daniel Lubke , Leibniz Universitšt Hannover, Software Engineering Group, Welfengarten 1, D-30167, Germany
Leif Singer , Leibniz Universitšt Hannover, Software Engineering Group, Welfengarten 1, D-30167, Germany
Alex Salnikow , Leibniz Universitšt Hannover, Software Engineering Group, Welfengarten 1, D-30167, Germany
pp. 115-122

Developing acceptance tests from existing documentation using annotations: An experiment (PDF)

David Connolly , Dundalk Institute of Technology, Software Technology Research Centre (SToRC), Dublin Road, Ireland
Frank Keenan , Dundalk Institute of Technology, Software Technology Research Centre (SToRC), Dublin Road, Ireland
Fergal McCaffery , Dundalk Institute of Technology, Software Technology Research Centre (SToRC), Dublin Road, Ireland
pp. 123-129

GUI savvy end-to-end testing with smart monkeys (PDF)

Birgit Hofer , Technische Universitšt Graz, Institute for Software Technology, Inffeldgasse 16b/2, A-8010, Austria
Bernhard Peischl , Technische Universitšt Graz, Institute for Software Technology, Inffeldgasse 16b/2, A-8010, Austria
Franz Wotawa , Technische Universitšt Graz, Institute for Software Technology, Inffeldgasse 16b/2, A-8010, Austria
pp. 130-137

The compliance testing of software tools with respect to the UML standards specification - The ArgoUML case study (PDF)

Panuchart Bunyakiati , Dept. of Computer Science, University College London, WC1E 6BT, United Kingdom
Anthony Finkelstein , Dept. of Computer Science, University College London, WC1E 6BT, United Kingdom
pp. 138-143

Using testing trace for automatic user categorization (PDF)

J. Jenny Li , Avaya Labs Research, 233 Mt. Airy Rd. Basking Ridge NJ 07920, USA
David M. Weiss , Avaya Labs Research, 233 Mt. Airy Rd. Basking Ridge NJ 07920, USA
pp. 144-148

An empirical study of testing file-system-dependent software with mock objects (PDF)

Madhuri R. Marri , Department of Computer Science, North Carolina State University, Raleigh, USA
Tao Xie , Department of Computer Science, North Carolina State University, Raleigh, USA
Nikolai Tillmann , Microsoft Research, One Microsoft Way, Redmond, WA, USA
Jonathan de Halleux , Microsoft Research, One Microsoft Way, Redmond, WA, USA
Wolfram Schulte , Microsoft Research, One Microsoft Way, Redmond, WA, USA
pp. 149-153
Papers

[Roster] (PDF)

pp. 86
106 ms
(Ver 3.3 (11022016))