The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 09 - Sept. (vol. 39)
ISSN: 0098-5589

Editorial (HTML)

pp. 1187-1189
REGULAR PAPERS

Capsule-Based User Interface Modeling for Large-Scale Applications (Abstract)

Dragan Milicev , University of Belgrade, Belgrade
Zarko Mijailovic , SOL Software, Belgrade
pp. 1190-1207

Data Quality: Some Comments on the NASA Software Defect Datasets (Abstract)

Zhongbin Sun , Xi'an Jiaotong University, Xi'an
Carolyn Mair , Southampton Solent University, Southampton
Qinbao Song , Xi'an Jiaotong University, Xi'an
Martin Shepperd , Brunel University, Uxbridge
pp. 1208-1215

Generating Test Cases for Real-Time Systems Based on Symbolic Models (Abstract)

Patricia D.L. Machado , Federal University of Campina Grande, Campina Grande
Wilkerson L. Andrade , Federal University of Campina Grande, Campina Grande
pp. 1216-1229

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems (Abstract)

L. Padgham , Sch. of Comput. Sci. & Inf. Technol., RMIT Univ., Melbourne, VIC, Australia
Zhiyong Zhang , Sch. of Comput. Sci. & Inf. Technol., RMIT Univ., Melbourne, VIC, Australia
J. Thangarajah , Sch. of Comput. Sci. & Inf. Technol., RMIT Univ., Melbourne, VIC, Australia
T. Miller , Dept. of Comput. & Inf. Syst., Univ. of Melbourne, Parkville, VIC, Australia
pp. 1230-1244

OBEY: Optimal Batched Refactoring Plan Execution for Class Responsibility Redistribution (Abstract)

H. C. Jiau , Dept. of Electr. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
Lee Wei Mar , Inst. of Comput. & Commun. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
J. C. Chen , Dept. of Electr. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
pp. 1245-1263
REGULAR PAPERS

Patterns of Knowledge in API Reference Documentation (Abstract)

Martin P. Robillard , McGill University, Montréal
Walid Maalej , University of Hamburg, Germany
pp. 1264-1282

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds (Abstract)

Carlos G. Lopez Pombo , Universidad de Buenos Aires and CONICET, Argentina
Marcelo F. Frias , Instituto Tecnológico de Buenos Aires and CONICET, Argentina
Nicolas Rosner , Universidad de Buenos Aires, Argentina
Juan P. Galeotti , Universidad de Buenos Aires and CONICET, Argentina
pp. 1283-1307

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems (Abstract)

Alain Beaulieu , Royal Military College, Kingston
Juergen Dingel , Queens University, Kingston
Yann Moffett , CF 18 Avionics System Engineering, Ottawa
pp. 1307-13256
98 ms
(Ver )