Sciweavers

1938 search results - page 157 / 388
» Dependable Software
Sort
View
104
Voted
QSIC
2008
IEEE
15 years 9 months ago
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites
In the context of open source development or software evolution, developers are often faced with test suites which have been developed with no apparent rationale and which may nee...
Lionel C. Briand, Yvan Labiche, Zaheer Bawar
COMPSAC
2007
IEEE
15 years 9 months ago
A Combined Concept Location Method for Java Programs
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
Dapeng Liu, Shaochun Xu
122
Voted
SEMWEB
2007
Springer
15 years 8 months ago
An Ontology Design Pattern for Representing Relevance in OWL
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
Fernando Bobillo, Miguel Delgado, Juan Góme...
QSIC
2005
IEEE
15 years 8 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
FASE
2005
Springer
15 years 8 months ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel