184 search results - page 18 / 37 » A Formal Framework for Mutation Testing |
BIRTHDAY
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
COMPSAC
2002
IEEE
14 years 21 days ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
LOGCOM
2008
13 years 7 months ago
2008
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...
TEC
2008
13 years 7 months ago
2008
This paper emphasizes the necessity of formally bringing qualitative and quantitative criteria of ergonomic design together, and provides a novel complementary design framework wit...