|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 9 keywords
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Software architecture-based regression testing.  |
Journal of Systems and Software  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Towards software architecture-based regression testing.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems |
| 1 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Reasoning About Software Architecture-Based Regression Testing Through a Case Study.  |
COMPSAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lihua Xu, Marcio S. Dias, Debra J. Richardson |
Regression testing via model checking.  |
IASTED Conf. on Software Engineering  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Leila Naslavsky, Marcio S. Dias, Debra J. Richardson |
Multiply-deployed residual testing at the object level.  |
IASTED Conf. on Software Engineering  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lihua Xu, Marcio S. Dias, Debra J. Richardson |
Generating Regression Tests via Model Checking.  |
COMPSAC  |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, Formal Specification, Software Testing, Regression Testing |
| 1 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Systematic Testing of Software Architectures in the C2 Style.  |
FASE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio S. Dias, Debra J. Richardson |
Adaptable Analysis of Dependable System Architectures Through Monitoring.  |
WADS ![In: Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], pp. 122-147, 2004, Springer, 3-540-28968-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio S. Dias, Debra J. Richardson |
Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components.  |
ASE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio S. Dias, Debra J. Richardson |
The Role of Event Description in Architecting Dependable Systems.  |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 150-174, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio S. Dias, Marlon E. R. Vieira |
Software Architecture Analysis Based on Statechart Semantics.  |
IWSSD  |
2000 |
DBLP BibTeX RDF |
architecture-based analysis, architecture-based testing, Software architecture, software component, statecharts |
| 1 | Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson |
Analyzing software architectures with Argus-I.  |
ICSE  |
2000 |
DBLP DOI BibTeX RDF |
architecture-based analysis, architecture-based testing, software architecture, software component, statecharts, ARGUS |
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|