Specification-based Software Testing (or Model-based)
See the DACS
model-based testing (MBT)
website for more information on the topic.
Selected Papers
-
A Comparative Evaluation of Tests Generated from Different UML Diagrams.
Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik and Andrea Baldini.
Ninth ACIS International Conference on Software Engineering,
Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2008),
pages 867-872, Phuket Thailand, August 2008.
[Abstract]
[PDF]
-
Generating Test Data From State-based Specifications.
Jeff Offutt, Shaoying Liu, Aynur Abdurazik and Paul Ammann.
The Journal of Software Testing, Verification and Reliability,
13(1):25-53, March 2003.
[Abstract]
[PDF]
-
Using UML Collaboration Diagrams for Static Checking and
Test Generation.
Jeff Offutt and Aynur Abdurazik.
The Third International Conference on the Unified Modeling
Language (UML '00),
pages 383-395, York, UK, October 2000.
-
Evaluation of Three Specification-based Testing Criteria.
Aynur Abdurazik, Paul Ammann, Wei Ding and Jeff Offutt.
Sixth IEEE International Conference on Engineering of
Complex Computer Systems (ICECCS '00),
pages 179-187, Tokyo, Japan, September 2000.
-
Generating Test Data from SOFL Specifications.
Jeff Offutt and Shaoying Liu.
The Journal of Systems and Software,
49(1):49-62, December 1999.
-
Generating Tests from UML Specifications.
Jeff Offutt and Aynur Abdurazik.
Second International Conference on the
Unified Modeling Language (UML99),
pages 416-429, Fort Collins, CO, October 1999.
-
Criteria for Generating Specification-based Tests.
Jeff Offutt, Yiwei Xiong and Shaoying Liu.
Fifth IEEE International Conference on Engineering of
Complex Computer Systems (ICECCS '99),
pages 119-131, Las Vegas, NV, October 1999.
-
Using Formal Methods To Derive Test Frames in Category-Partition Testing.
Paul Ammann and Jeff Offutt.
Ninth Annual Conference on Computer Assurance (COMPASS 94),
pages 69-80,
Gaithersburg, Maryland, June 1994.
Other links
Back to my home page.