1399 search results - page 6 / 280 » Verification of Test Suites |
TOSEM
2008
14 years 9 months ago
2008
SERA
2004
Springer
15 years 2 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
HYBRID
1995
Springer
15 years 1 months ago
1995
Springer
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Software testing is a critical part of software development. Test suite sizes may grow significantly with subsequent modifications to the software over time. Due to time and res...