مرکز منطقه ای اطلاع رساني علوم و فناوري - TestEra: Specification-Based Testing of Java Programs Using SAT

Title of article :

TestEra: Specification-Based Testing of Java Programs Using SAT

Author/Authors :

Sarfraz Khurshid and Darko Marinov ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2004

Pages :

From page :

403

To page :

434

Keywords :

Software Testing , automated test generation , Specification-based testing , Java testing , Alloy , TestEra , SAT enumeration

Journal title :

Automated Software Engineering

Serial Year :

2004

Journal title :

Automated Software Engineering

Record number :

307137

Link To Document :