1722 search results - page 77 / 345 » Generating Tests from Counterexamples |
104
click to vote
EMNLP
2007
15 years 4 months ago
2007
We present a simple history-based model for sentence generation from LFG f-structures, which improves on the accuracy of previous models by breaking down PCFG independence assumpt...
120
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Learning Bayesian networks from data has been studied extensively in the evolutionary algorithm communities [Larranaga96, Wong99]. We have previously explored extending some of the...
142
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
113
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
119
click to vote
MTV
2005
IEEE
15 years 8 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...