The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (vol. 37)
ISSN: 0098-5589

Bristlecone: Language Support for Robust Software Applications (Abstract)

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

Deriving a Slicing Algorithm via FermaT Transformations (Abstract)

Martin P. Ward , De Montfort University, Leicester
Hussein Zedan , 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
Sreedevi Sampath , University of Maryland, Baltimore
Atif M. Memon , University of Maryland, College Park
pp. 48-64

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

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

Genetic Algorithms for Randomized Unit Testing (Abstract)

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

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

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

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

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

2010 Reviewers List (PDF)

pp. 142-144

2010 Annual Index (PDF)

pp. Online Only

2010 Annual Index (PDF)

86 ms
(Ver 3.3 (11022016))