Searching for "Regression testing via model checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Extending xADL with Statechart Behavioral Specification
by Leila Naslavsky, Lihua Xu, Marcio Dias, Hadar Ziv, Debra J. Richardson — 2004 — Proceedings of the Twin Workshops on Architecting Dependable Systems at International Conference of Software Engineering
… to the system to make sure no new errors were introduced. RTMC (Regression Testing via Model Checking) [11…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB