Sciweavers

EMNLP
2008
13 years 6 months ago
A Japanese Predicate Argument Structure Analysis using Decision Lists
This paper describes a new automatic method for Japanese predicate argument structure analysis. The method learns relevant features to assign case roles to the argument of the tar...
Hirotoshi Taira, Sanae Fujita, Masaaki Nagata
ICSE
2004
IEEE-ACM
14 years 4 months ago
Generating Tests from Counterexamples
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...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...