1414 search results - page 153 / 283 » Automated Metamorphic Testing |
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
Current wireless technologies offer a viable solution for implementing communication systems capable of satisfying the severe timing requirements often required for operations at ...
WCRE
2006
IEEE
14 years 3 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
TSD
2004
Springer
14 years 2 months ago
2004
Springer
This paper is about the automated production of dialogue models. The goal is to propose and validate a methodology that allows the production of finalized dialogue models (i.e. di...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
ICAIL
2003
ACM
14 years 2 months ago
2003
ACM
Effective retrieval of court decisions is important. Automatically identifying legal concepts in the decision texts would be very helpful. In this paper we investigate how a stat...