373 search results - page 36 / 75 » Automatic Generation of Symmetry-Breaking Constraints |
122
Voted
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
148
click to vote
BXML
2003
15 years 2 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
ACL
2007
15 years 3 months ago
2007
We present a general framework to incorporate prior knowledge such as heuristics or linguistic features in statistical generative word alignment models. Prior knowledge plays a ro...
136
click to vote
TVLSI
2008
15 years 1 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
166
click to vote
SIGMOD
2012
ACM
13 years 4 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...