659 search results - page 21 / 132 » Automatic Testing of Object-Oriented Software |
102
click to vote
FORTE
2004
15 years 1 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
92
Voted
ISSRE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
103
click to vote
SEKE
2004
Springer
15 years 5 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
120
Voted
ISSRE
2002
IEEE
15 years 5 months ago
2002
IEEE
83
Voted
SAC
2004
ACM
15 years 5 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...