researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Softw. Test., Verif. Reliab.
Home
Index
Info
Volume
Volume
15
, Issue
4
209
--
210
Robert M. Hierons
.
Editorial: Validating our findings
211
--
233
Manuel Núñez
,
Ismael Rodríguez
,
Fernando Rubio
.
Specification and testing of autonomous agents in e-commerce systems
235
--
256
Daniel Hoffman
,
Paul A. Strooper
,
Sarah Wilkin
.
Tool support for executable documentation of Java class hierarchies
257
--
279
Jung-Min Kim
,
Adam A. Porter
,
Gregg Rothermel
.
An empirical study of regression test application frequency
281
--
282
Nathan Baddoo
.
Achieving Software Quality Through Teamwork. By Isabel Evans. Artech House, 2004, ISBN: 1-58053-662-X, pp 296
Volume
15
, Issue
3
143
--
144
Derek Yates
.
Editorial: ... and the wheel keeps turning
145
--
166
Daniel Karlström
,
Per Runeson
,
Sara Nordén
.
A minimal test practice framework for emerging software organizations
167
--
199
Mats Grindal
,
Jeff Offutt
,
Sten F. Andler
.
Combination testing strategies: a survey
201
--
202
Thomas Thelin
.
Software Testing and Continuous Quality Improvement. Second Edition. By William E. Lewis. Technical Contributor: Gunasekaran Veerapillai. Published by Auerbach Publications, 2005, ISBN: 0-8493-2524-2, pp 534
202
--
203
Joël Ouaknine
.
Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Springer, Texts in Theoretical Computer Science Series, 2004, ISBN: 3-540-00296-0, pp 600
Volume
15
, Issue
2
71
--
72
Martin R. Woodward
.
Editorial: On mutants, metaphors and scientific creativity
73
--
96
Benoit Baudry
,
Franck Fleurey
,
Jean-Marc Jézéquel
,
Yves Le Traon
.
From genetic to bacteriological algorithms for mutation-based testing
97
--
133
Yu-Seung Ma
,
Jeff Offutt
,
Yong Rae Kwon
.
MuJava: an automated class mutation system
135
--
136
Robert M. Hierons
.
Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004, ISBN 981-238-854-0
136
--
137
Stuart Reid
.
The Art of Software Testing, Second edition. Glenford J. Myers. Revised and updated by Tom Badgett and Todd M. Thomas, with Corey Sandler. John Wiley and Sons, New Jersey, USA, 2004, ISBN 0-471-46912-2
Volume
15
, Issue
1
1
--
2
Lee J. White
.
Editorial: Looking for surprises in testing?
3
--
20
Felix Redmill
.
Theory and practice of risk-based testing
21
--
40
Kalpesh Kapoor
,
Jonathan P. Bowen
.
A formal analysis of MCDC and RCDC test criteria
41
--
61
Gareth Lee
,
John Morris
,
Kris Parker
,
Gary A. Bundell
,
Chiou Peng Lam
.
Using symbolic execution to guide test generation