Automated analysis, verification and testing
Nigel J. Tracey, John Penix, Willem I. Visser · Software Focus · 2001
Abstract In Software Testing, Verification and Reliability, NIGEL TRACEY, JOHN PENIX and WILLEM VISSER present a special issue for researchers and developers interested in automated verification, analysis and testing of software, exploring new collaborations and aiming to increase the level of co‐operation between communities. Copyright © 2001 John Wiley & Sons, Ltd.