The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 01 - January/February (vol. 37)
ISSN: 0098-5589
EDITORIAL
REGULAR PAPERS

Bristlecone: Language Support for Robust Software Applications (Abstract)

Sivaji R. Sundaramurthy , University of California, Irvine, Irvine
Brian Demsky , University of California, Irvine, Irvine
pp. 4-23

Deriving a Slicing Algorithm via FermaT Transformations (Abstract)

Hussein Zedan , De Montfort University, Leicester
Martin P. Ward , De Montfort University, Leicester
pp. 24-47

Developing a Single Model and Test Prioritization Strategies for Event-Driven Software (Abstract)

Renée C. Bryce , Utah State University, Logan
Atif M. Memon , University of Maryland, College Park
Sreedevi Sampath , University of Maryland, Baltimore
pp. 48-64

From UML to Petri Nets: The PCM-Based Methodology (Abstract)

Antonio Puliafito , University of Messina, Sicily
Marco Scarpa , University of Messina, Sicily
Salvatore Distefano , University of Messina, Sicily
pp. 65-79

Genetic Algorithms for Randomized Unit Testing (Abstract)

Tim Menzies , West Virginia University, Morgantown, WV, USA
Felix C.H. Li , University of Western Ontario, London, Ont., Canada
James H. Andrews , University of Western Ontario, London, Ont., Canada
pp. 80-94

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging (Abstract)

T.H. Tse , The University of Hong Kong, Hong Kong
Tsong Yueh Chen , Swinburne University of Technology, Hawthorn
Zhi Quan Zhou , University of Wollongong, Wollongong
pp. 109-125

Verifying the Evolution of Probability Distributions Governed by a DTMC (Abstract)

Gul Agha , University of Illinois at Urbana-Champaign, Urbana
YoungMin Kwon , Microsoft Corporation, Redmond
pp. 126-141
REVIEWERS LIST

2010 Reviewers List (PDF)

pp. 142-144
ANNUAL INDEX

2010 Annual Index (PDF)

pp. Online Only
82 ms
(Ver )