3322 search results - page 101 / 665 » Automatic Human Model Generation |
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
ACL
2012
13 years 14 days ago
2012
SMT has been used in paraphrase generation by translating a source sentence into another (pivot) language and then back into the source. The resulting sentences can be used as can...
101
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
ACL
2007
14 years 11 months ago
2007
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...