This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
40th Annual Hawaii International Conference on System Sciences (HICSS'07)
Big Island, Hawaii
January 03-January 06
ISBN: 0-7695-2755-8
Zhi Quan Zhou, University of Wollongong, Australia
Bernhard Scholz, The University of Sydney, Australia
Giovanni Denaro, Universita di Milano-Bicocca, Italy
As computer systems are permeating our society in daily life and are performing an increasing number of critical tasks, research in software testing and analysis has become of paramount importance. Although we are currently not able to prove program correctness for real-world applications, rigorous software development processes in combination with testing provides us with confidence in the quality of software. Software testing and analysis, however, is a very involved task. As the size and complexity of software continue to grow, manual testing becomes very tedious. Automation of software testing and tool support for testing, therefore, have been emerging as a key technology to quality assurance of today?s software industry. As research in software testing and analysis has become increasingly active, there is also a growing trend towards combining formal methods and informal techniques for program verification.
Citation:
Zhi Quan Zhou, Bernhard Scholz, Giovanni Denaro, "Automated Software Testing and Analysis: Techniques, Practices and Tools," hicss, pp.260, 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.