1414 search results - page 155 / 283 » Automated Metamorphic Testing |
CONCUR
2006
Springer
14 years 26 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
ERSHOV
2006
Springer
14 years 24 days ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
LREC
2008
13 years 10 months ago
2008
Evaluating the output of NLG systems is notoriously difficult, and performing assessments of text quality even more so. A range of automated and subject-based approaches to the ev...
IADIS
2004
13 years 10 months ago
2004
This paper describes a framework that aims to give a help both for people who organize examination and for students who want to self test their own knowledge level. The two aspect...
IADIS
2003
13 years 10 months ago
2003
Experience in preparing Web content for people with visual disabilities shows that automatic testing of accessibility is clearly insufficient to meet real-world demands, and that ...