366 search results - page 1 / 74 » Syntactic Abstraction of B Models to Generate Tests |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
ECAL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
FATES
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
ICSE
2003
IEEE-ACM
14 years 5 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
ACL
2003
13 years 6 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...