FMICS
2008
Springer
13 years 6 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...