Search results for "Debra J. Richardson"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	MbSRT2: Model-Based Selective Regression Testing with Traceability.	ICST	2010	DBLP DOI BibTeX RDF	model-based regression test selection, UML, traceability
1	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	ASSURE: automated support for secure and usable requirements engineering.	ISSTA	2010	DBLP DOI BibTeX RDF	security requirements-based testing, security requirements, usable requirements
1	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	Increasing Trustworthiness through Security Testing Support.	SocialCom/PASSAT	2010	DBLP DOI BibTeX RDF
1	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	Formality of the Security Specification Process: Benefits Beyond Requirements.	HICSS	2010	DBLP DOI BibTeX RDF
1	Gabriela Marcu, Samuel J. Kaufman, Jaihee Kate Lee, Rebecca W. Black, Paul Dourish, Gillian R. Hayes, Debra J. Richardson	Design and evaluation of a computer science and engineering course for middle school girls.	SIGCSE	2010	DBLP DOI BibTeX RDF	computer science and engineering education, diversity in computing, hands-on curriculum, gender issues
1	Kristina Winbladh, Hadar Ziv, Debra J. Richardson	iMuse: interactive model-based use-case and storytelling environment.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Debra J. Richardson, Ban Al-Ani, Hadar Ziv	Requirements engineering at the margins: avoiding technological hubris through alternative approaches.	FoSER	2010	DBLP DOI BibTeX RDF
1	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	Later stages support for security requirements.	Richard Tapia Celebration of Diversity in Computing Conference	2009	DBLP DOI BibTeX RDF	later stages support, requirements integration, security, testing, security requirements
1	Kristina Winbladh, Hadar Ziv, Debra J. Richardson	Eliciting required characteristics for usable requirements engineering approaches.	SAC	2009	DBLP DOI BibTeX RDF	requirements approaches, usability, survey
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	A model-based regression test selection technique.	ICSM	2009	DBLP DOI BibTeX RDF
1	Ravidutta Kodre, Hadar Ziv, Debra J. Richardson	Statistical Sampling Based Approach to Alleviate Log Replay Testing.	ICST	2008	DBLP DOI BibTeX RDF	Coupon Collector, Log Replay testing, Sampling in Log replay testing
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Using Model Transformation to Support Model-Based Test Coverage Measurement.	AST	2008	DBLP DOI BibTeX RDF
1	Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson	CCARCH: Architecting Common Criteria Security Requirements.	IAS	2007	DBLP DOI BibTeX RDF
1	Leila Naslavsky, Debra J. Richardson	Using traceability to support model-based regression testing.	ASE	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Towards leveraging model transformation to support model-based testing.	ASE	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
1	Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson	In the Requirements Lies the Power.	SEKE	2007	DBLP BibTeX RDF
1	Leila Naslavsky, Hadar Ziv, Debra J. Richardson	Towards traceability of model-based testing artifacts.	A-MOST	2007	DBLP DOI BibTeX RDF	model-driven development, traceability, model-based testing
1	Mamadou H. Diallo, Leila Naslavsky, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	Toward Architecture Evaluation through Ontology-Based Requirements-Level Scenarios.	WADS	2007	DBLP DOI BibTeX RDF
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	Lihua Xu, Hadar Ziv, Thomas A. Alspaugh, Debra J. Richardson	An architectural pattern for non-functional dependability requirements.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	Architecture-based testing using goals and plans.	ROSATEA	2006	DBLP DOI BibTeX RDF	architecture-based testing, goal-driven software development, specification-based testing
1	Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hadar Ziv, André van der Hoek, Debra J. Richardson	Towards supporting the architecture design process through evaluation of design alternatives.	ROSATEA	2006	DBLP DOI BibTeX RDF	simulation, analysis, non-functional requirements, software architecture design, state charts, aspect-oriented design
1	Chang Liu, En Ye, Debra J. Richardson	Software Library Usage Pattern Extraction Using a Software Model Checker.	ASE	2006	DBLP DOI BibTeX RDF
1	Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson	An Automated Approach for Goal-driven, Specification-based Testing.	ASE	2006	DBLP DOI BibTeX RDF
1	Chang Liu, En Ye, Debra J. Richardson	LtRules: an automated software library usage rule extraction tool.	ICSE	2006	DBLP DOI BibTeX RDF	software library usage rule, model checking
1	Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish	Scenarios, state machines and purpose-driven testing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Lihua Xu, Hadar Ziv, Debra J. Richardson, Thomas A. Alspaugh	An architectural pattern for non-functional dependability requirements.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software architecture, aspects, architecture patterns, nonfunctional requirements
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	David G. Kay, André van der Hoek, Debra J. Richardson	Extending undergraduate CS programs with informatics: emphasizing software and system design in context.	ITiCSE	2005	DBLP DOI BibTeX RDF	contextual learning, education, computer science education, software engineering education, informatics
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	David G. Kay, André van der Hoek, Debra J. Richardson	Informatics: a focus on computer science in context.	SIGCSE	2005	DBLP DOI BibTeX RDF	contextual learning, education, computer science education, software engineering education, informatics
1	André van der Hoek, David G. Kay, Debra J. Richardson	Informatics: A Novel, Contextualized Approach to Software Engineering Education.	Software Education and Training Sessions @ ICSE	2005	DBLP DOI BibTeX RDF
1	André van der Hoek, David G. Kay, Debra J. Richardson	A B.S. degree in informatics: contextualizing software engineering education.	ICSE	2005	DBLP DOI BibTeX RDF	contextual learning, education, computer science education, software engineering education, informatics
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	Yuewei Zhou, Hadar Ziv, Debra J. Richardson	Towards A Practical Approach to Test Aspect-Oriented Software.	SOQUA/TECOS	2004	DBLP BibTeX RDF
1	Marcio S. Dias, Debra J. Richardson	Adaptable Analysis of Dependable System Architectures Through Monitoring.	WADS	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	Marlon E. R. Vieira, Debra J. Richardson	Analyzing Dependencies in Large Component-Based Systems.	ASE	2002	DBLP DOI BibTeX RDF
1	Chang Liu, Debra J. Richardson	Using RAIC for Dependable On-line Upgrading of Distributed Systems.	COMPSAC	2002	DBLP DOI BibTeX RDF	Software architecture style, on-line upgrade
1	Marcio S. Dias, Debra J. Richardson	The Role of Event Description in Architecting Dependable Systems.	WADS	2002	DBLP DOI BibTeX RDF
1	Chang Liu, Debra J. Richardson	Automated Security Checking and Patching Using TestTalk. (PDF / PS)	ASE	2000	DBLP DOI BibTeX RDF
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
1	Chang Liu, Debra J. Richardson	Using application states in software testing (poster).	ICSE	2000	DBLP DOI BibTeX RDF	software testing, test automation, coverage analysis
1	Arthur Alexander Reyes, Debra J. Richardson	Siddhartha: A Method for Developing Domain-Specific Test Driver Generators. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	unit under test, low testability, unit test driver, driver generator, formal test specification, formal specification, domain-specific language, specification-based testing
1	Chang Liu, Debra J. Richardson	Towards Discovery, Specification, and Verification of Component Usage. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	Component Usage, Component Misuse, Software Testing, Component, Static Analysis, Software Quality, Component-Based Software Engineering
1	Juei Chang, Debra J. Richardson	Structural Specification-Based Testing: Automated Support and Experimental Evaluation.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
1	Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson	The Most Influential Papers from the ISSTA Research Community (Panel).	ISSTA	1998	DBLP DOI BibTeX RDF
1	Juei Chang, Debra J. Richardson	ADLscope: An Automated Specification-based Unit Testing Tool. (PDF / PS)	ASE	1998	DBLP DOI BibTeX RDF
1	Arthur Alexander Reyes, Debra J. Richardson	Specification-based Testing of Ada Units with Low Encapsulation. (PDF / PS)	ASE	1998	DBLP DOI BibTeX RDF
1	Hadar Ziv, Debra J. Richardson	Constructing Bayesian-network models of software testing and maintenance uncertainties. (PDF / PS)	ICSM	1997	DBLP DOI BibTeX RDF	Bayesian-network models, software maintenance uncertainties, software testing uncertainties, software developer confidence, software component updating, software uncertainty modelling, Beckman Instruments, software evolution, program testing, regression testing, Bayesian belief networks, Java program, software artifacts, change impact
1	Juei Chang, Debra J. Richardson, Sriram Sankar	Structural Specification-Based Testing with ADL.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Nancy S. Eickelmann, Debra J. Richardson	An Evaluation of Software Test Environment Architectures.	ICSE	1996	DBLP BibTeX RDF	CITE, CONVEX Integrated Test Environment, PROLOG Test Environment, Version II, PROTest II, Software Architectural Analysis Method, TAOS, Testing with Analysis and Oracle Support, architecturally imposed constraints, environment functions allocation, implementation structures, processing algorithms, software test environment architectures, test development, test failure analysis, test measurement, test process automation, performance, software architecture, programming environments, program testing, software reusability, extensibility, reusability, software performance evaluation, portability, functionality, computer aided software engineering, software portability, testing tools, data representation, reference architecture, modifiability, test management, modifications, test planning, test execution, SAAM
1	Debra J. Richardson	TAOS: Testing with Analysis and Oracle Support.	ISSTA	1994	DBLP DOI BibTeX RDF	DEBUG
1	Debra J. Richardson, Margaret C. Thompson	An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	test data selection criteria, failure conditions, erroneous behavior, software reliability, fault detection, program testing, information flow, program debugging, RELAY
1	Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke	An Information Flow Model of Fault Detection.	ISSTA	1993	DBLP DOI BibTeX RDF
1	Debra J. Richardson, T. Owen O'Malley, Cynthia Tittle Moore, Stephanie Leif Aha	Developing and integrating ProDAG in the Arcadia environment.	SDE	1992	DBLP DOI BibTeX RDF
1	Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley	Specification-Based Test Oracles for Reactive Systems.	ICSE	1992	DBLP DOI BibTeX RDF
1	Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil	A Formal Evaluation of Data Flow Path Selection Criteria.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	formal evaluation, data flow path selection criteria, data-flow relationships, subsumption hierarchy, syntactic information, infeasible-path problem, software engineering, flowcharting
1	Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil	Integrating Testing Techniques Through Process Programming.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
1	Debra J. Richardson, T. Owen O'Malley, C. Tittle	Approaches to Specification-Based Testing.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	ANNA, Larch
1	Lori A. Clarke, Debra J. Richardson, Steven J. Zeil	TEAM: A Support Environment for Testing, Evaluation, and Analysis.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF
1	Debra J. Richardson, Lori A. Clarke	Partition Analysis: A Method Combining Testing and Verification.	IEEE Trans. Software Eng.	1985	DBLP DOI BibTeX RDF
1	Lori A. Clarke, Debra J. Richardson	Applications of symbolic evaluation.	Journal of Systems and Software	1985	DBLP DOI BibTeX RDF
1	Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil	A Comparison of Data Flow Path Selection Criteria.	ICSE	1985	DBLP BibTeX RDF
1	Lori A. Clarke, Johnette Hassell, Debra J. Richardson	A Close Look at Domain Testing.	IEEE Trans. Software Eng.	1982	DBLP DOI BibTeX RDF
1	Debra J. Richardson, Lori A. Clarke	A Partition Analysis Method to Increase Program Reliability.	ICSE	1981	DBLP BibTeX RDF

Publications of "Debra J. Richardson" ( http://dblp.L3S.de/Authors/Debra_J._Richardson )