185 search results - page 7 / 37 » Generating test cases for specification mining |
PTS
2004
13 years 9 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
DMIN
2006
13 years 9 months ago
2006
- Filtering the immense amount of data available electronically over the World Wide Web is an important task of search engines in data mining applications. Users when performing se...
EDM
2010
13 years 9 months ago
2010
One of the main problems faced by university students is deciding the right learning path based on available information such as courses, schedules and professors. In this context,...
DMDW
2003
13 years 9 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
FATES
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...