Test Case Design Methodologies (Black-box methods) P. Pavankumar, CSTE Moderator, [email protected] [email protected].
Foundations of Software Testing Slides based on: Draft 3.01 September 25, 2006 Test Generation: Requirements Aditya P. Mathur Purdue University Fall 2006.
Static Analysis and Verification Victor Vianu U.C. San Diego in Databases.
Spring Break Challenge March 11-15, 2013 Evaluation Findings Prepared by Lynsie Ranker.
Synthesizing Number Transformations from Input-Output Examples Rishabh Singh and Sumit Gulwani.
Reverse Engineering automation
adequacy.ppt
GATE Computer Science Solved Paper 2004
Software testing methodolgy with the control flow analysis
Test design techniques
20050314 specification based regression test selection with risk analysis
Presentation