The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marcio S. Dias" ( http://dblp.L3S.de/Authors/Marcio_S._Dias )

  Author page on DBLP  Author page in RDF  Community of Marcio S. Dias in ASPL-2

Publication years (Num. hits)
2000 (2) 2002 (2) 2004 (5) 2005 (2) 2006 (1)
Publication types (Num. hits)
article(2) inproceedings(10)
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
1Henry Muccini, Marcio S. Dias, Debra J. Richardson Software architecture-based regression testing. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Henry Muccini, Marcio S. Dias, Debra J. Richardson Towards software architecture-based regression testing. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems
1Henry Muccini, Marcio S. Dias, Debra J. Richardson Reasoning About Software Architecture-Based Regression Testing Through a Case Study. Search on Bibsonomy COMPSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lihua Xu, Marcio S. Dias, Debra J. Richardson Regression testing via model checking. Search on Bibsonomy IASTED Conf. on Software Engineering The full citation details ... 2004 DBLP  BibTeX  RDF
1Leila Naslavsky, Marcio S. Dias, Debra J. Richardson Multiply-deployed residual testing at the object level. Search on Bibsonomy IASTED Conf. on Software Engineering The full citation details ... 2004 DBLP  BibTeX  RDF
1Lihua Xu, Marcio S. Dias, Debra J. Richardson Generating Regression Tests via Model Checking. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model Checking, Formal Specification, Software Testing, Regression Testing
1Henry Muccini, Marcio S. Dias, Debra J. Richardson Systematic Testing of Software Architectures in the C2 Style. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcio S. Dias, Debra J. Richardson Adaptable Analysis of Dependable System Architectures Through Monitoring. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marcio S. Dias, Debra J. Richardson Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marcio S. Dias, Debra J. Richardson The Role of Event Description in Architecting Dependable Systems. Search on Bibsonomy WADS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marcio S. Dias, Marlon E. R. Vieira Software Architecture Analysis Based on Statechart Semantics. Search on Bibsonomy IWSSD The full citation details ... 2000 DBLP  BibTeX  RDF architecture-based analysis, architecture-based testing, Software architecture, software component, statecharts
1Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson Analyzing software architectures with Argus-I. Search on Bibsonomy ICSE The full citation details ... 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: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.