The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - March/April (vol. 37)
ISSN: 0098-5589
Editorial
Regular Papers

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study (Abstract)

Hotae Kim , Samsung Electronics, Suwon
Moonzoo Kim , KAIST, Daejon
Yunho Kim , KAIST, Daejon
pp. 146-160

Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments (Abstract)

Lionel C. Briand , Simula Research Laboratory, Lysaker, Norway
Yvan Labiche , Carleton University, Ottawa, Canada
Samar Mouchawrab , Carleton University, Ottawa, Canada
Massimiliano Di Penta , University of Sannio, Benevento, Italy
pp. 161-187

Improving Source Code Lexicon via Traceability and Information Retrieval (Abstract)

Andrea De Lucia , University of Salerno, Fisciano
Massimiliano Di Penta , University of Sannio, Benevento
Rocco Oliveto , University of Molise, Pesche
pp. 205-227

Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens (Abstract)

Luciano Baresi , Politecnico di Milano, Milano
Carlo Ghezzi , Politecnico di Milano, Milano
Luca Mottola , Politecnico di Milano, Milano
pp. 228-246

Self-Supervising BPEL Processes (Abstract)

Sam Guinea , Politecnico di Milano, Milano, Italy
Luciano Baresi , Politecnico di Milano, Milano, Italy
pp. 247-263

Software Module Clustering as a Multi-Objective Search Problem (Abstract)

Mark Harman , University College London, London
Xin Yao , The University of Birmingham, Birmingham
Kata Praditwong , The University of Birmingham, Birmingham
pp. 264-282

Systematic Review and Aggregation of Empirical Studies on Elicitation Techniques (Abstract)

Oscar Dieste , Universidad Politécnica de Madrid, Boadilla del Monte
Natalia Juristo , Universidad Politécnica de Madrid, Boadilla del Monte
pp. 283-304
82 ms
(Ver 3.1 (10032016))