Search results for "ISSRE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel	Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon	Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment.	ISSRE	2002	DBLP DOI BibTeX RDF
1	João Durães, Henrique Madeira	Emulation of Software Faults by Educated Mutations at Machine-Code Level.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Farokh B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen	Reliability Assessment of Framework-Based Distributed Embedded Software Systems.	ISSRE	2002	DBLP DOI BibTeX RDF	Application-oriented frameworks, Distributed embedded systems, Software composition, Software reliability assessment
1	João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo	Effect of Disturbances on the Convergence of Failure Intensity.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Satya Kanduri, Sebastian G. Elbaum	An Empirical Study of Tracing Techniques from a Failure Analysis Perspective.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Guillaume Lussier, Hélène Waeselynck	Informal Proof Analysis Towards Testing Enhancement.	ISSRE	2002	DBLP DOI BibTeX RDF
1		13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA	ISSRE	2002	DBLP BibTeX RDF
1	Swapna S. Gokhale, Kishor S. Trivedi	Reliability Prediction and Sensitivity Analysis Based on Software Architecture.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Kirk Sayre, Jesse H. Poore	A Reliability Estimator for Model Based Software Testing.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Grégory Lestiennes, Marie-Claude Gaudel	Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.	ISSRE	2002	DBLP DOI BibTeX RDF
1	James Bret Michael, Bernard J. Bossuyt, Byron B. Snyder	Metrics for Measuring the Effectiveness of Software-Testing Tools.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman	Data Coverage Testing of Programs for Container Classes.	ISSRE	2002	DBLP DOI BibTeX RDF	Data coverage testing, Testing of container classes, Automated testing
1	Tim Menzies, David Owen 0002, Bojan Cukic	Saturation Effects in Testing of Formal Models.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt	Inter-Class Mutation Operators for Java.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Lizhou Yu, Gholamali C. Shoja, Hausi A. Müller, Anand Srinivasan	A Framework for Live Software Upgrade.	ISSRE	2002	DBLP DOI BibTeX RDF
1	John C. Munson, Allen P. Nikora	Toward A Quantifiable Definition of Software Faults.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel	Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Norman F. Schneidewind	Modelling the Fault Correction Process.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu	Toward Generic Timing Tests for Distributed Multimedia Software Systems.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao	Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Lee J. White, Husain Almezen, Nasser Alzeidi	User-Based Testing of GUI Sequences and Their Interactions.	ISSRE	2001	DBLP DOI BibTeX RDF	Graphical User Interfaces, GUI Testing, Object-Oriented Testing
1	Zhenyi Jin, Jeff Offutt	Deriving Tests From Software Architectures.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Daisuke Satoh, Shigeru Yamada	Discrete Equations and Software Reliability Growth Models.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Daniel R. Jeske, Xuemei Zhang, Loan Pham	Accounting for Realities When Estimating the Field Failure Rate of Software.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Håkan Petersson, Claes Wohlin, Per Runeson, Martin Höst	Defect Content Estimation for Two Reviewers.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	Increasing the Reliability of Three-Tier Applications.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Lionel C. Briand, Yvan Labiche, Yihong Wang	Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Hongxia Jin, Peter Santhanam	An Approach to Higher Reliability Using Software Components.	ISSRE	2001	DBLP DOI BibTeX RDF	evaluation, reliability, Components, interconnection, behavior
1	Cristina Simache, Mohamed Kaâniche	Measurement-Based Availability of Unix Systems in a Distributed Environment.	ISSRE	2001	DBLP DOI BibTeX RDF
1		12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China	ISSRE	2001	DBLP BibTeX RDF
1	Jeff Offutt, Roger T. Alexander, Ye Wu, Quansheng Xiao, Chuck Hutchinson	A Fault Model for Subtype Inheritance and Polymorphism.	ISSRE	2001	DBLP DOI BibTeX RDF
1	John C. Knight, Kimberly S. Hanks, Sean R. Travis	Tool Support for Production Use of Formal Techniques.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Neta Aizenbud-Reshef	Coverage Analysis for Message Flows.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Shih-Jeh Chang, Prudence T. Zacarias Kapauan	Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Deirdre Donovan, Chryssa Dislis, Ray Murphy, Stephen Unger, Christina Kenneally, Janet Young, Liz Sheehan	Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Alberto Pasquini, Antonio Rizzo, Luca Save, Mark-Alexander Sujan	Quantitative Evaluation and Operative Usage of Interactive Systems.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Harshinder Singh, Vittorio Cortellessa, Bojan Cukic, Erdogan Gunel, Vijayanand Bharadwaj	A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Grzegorz Czajkowski, Laurent Daynès, Mario Wolczko	Automated and Portable Native Code Isolation.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Byoungju Choi, Sunhwa Yeum, Tae-Hee Gwak, Byoungkyu Min	An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Suet Chun Lee, Jeff Offutt	Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis.	ISSRE	2001	DBLP DOI BibTeX RDF
1	John C. Knight, Matthew C. Elder	Fault Tolerant Distributed Information Systems.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Fevzi Belli	Finite-State Testing and Analysis of Graphical User Interfaces.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi	Analysis of Hypergeometric Distribution Software Reliability Model.	ISSRE	2001	DBLP DOI BibTeX RDF	cumulative trial processes, Software reliability, probabilistic analysis, reliability growth model, hypergeometric distribution
1	Philippe Chevalley, Pascale Thévenod-Fosse	An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Edward L. Jones, Aubrey J. Rembert	A Simulation Based Trainer for Software Reliability Modeling.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar, Kehan Gao, Robert M. Szabo	An Application of Zero-Inflated Poisson Regression for Software Fault Prediction .	ISSRE	2001	DBLP DOI BibTeX RDF	Poisson regression model, zero-inflated Poisson regression model, nested models, Vuong hypothesis test, program module, Software quality modeling
1	Luping Chen, John H. R. May, Gordon Hughes	Estimation of Software Diversity by Fault Simulation and Failure Searching.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Kathryn Bassin, Shriram Biyani, Padmanabhan Santhanam	Evaluating the Software Test Strategy for the 2000 Sydney Olympics.	ISSRE	2001	DBLP DOI BibTeX RDF	test analysis, ODC, Evaluation, validation, measurement techniques, Orthogonal Defect Classification
1	Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub	A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications.	ISSRE	2001	DBLP DOI BibTeX RDF	Verification an Validation, UML and statecharts, Fault Model, Fault Injection
1	João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo	Feedback Control of the Software Test Process Through Measurements of Software Reliability.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau	Low-Cost Flexible Software Fault Tolerance for Distributed Computing.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi	Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Jun Wei 0001, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng	Modeling and Verifying Strong Cache Consistency for Mobile Data Access .	ISSRE	2001	DBLP DOI BibTeX RDF
1	Bin Yao, W. Kent Fuchs	Recovery Proxy for Wireless Applications.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Jun Zhou, Kuo-Chung Tai	Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.	ISSRE	2001	DBLP DOI BibTeX RDF
1	Mike Prowse	Discard the Bathtub Model for the Shower Model.	ISSRE	2000	DBLP BibTeX RDF
1	Sebastian G. Elbaum, John C. Munson	Software Black Box: An Alternative Mechanism for Failure Analysis.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Anneliese von Mayrhauser, Michael Scheetz, Eric Dahlman, Adele E. Howe	Planner Based Error Recovery Testing.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Chin-Yu Huang, Sy-Yen Kuo, Jung-Hua Lo, Michael R. Lyu	Quantitative Software Reliability Modeling from Testing to Operation.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar, Vishal Thaker, Edward B. Allen	Modeling Fault-Prone Modules of Subsystems.	ISSRE	2000	DBLP DOI BibTeX RDF	empirical study, software reliability, classification tree, CART, software quality models, fault-prone modules
1	José Luis Fernández Alemán, José Ambrosio Toval Álvarez	Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.	ISSRE	2000	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification
1	Saïda Benlarbi, Khaled El Emam, Nishith Goel, Shesh N. Rai	Thresholds for Object-Oriented Measures.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Sherif M. Yacoub, Hany H. Ammar, Tom Robinson	A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics.	ISSRE	2000	DBLP DOI BibTeX RDF	component-dependency graphs and dynamic metrics, risk assessment, Risk analysis, risk modeling
1	Anders Wesslén, Per Runeson, Björn Regnell	Assessing the Sensitivity to Usage Profile Changes in Test Planning.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Yves Le Traon, Farid Ouabdesselam, Chantal Robach	Analyzing Testability on Data Flow Designs.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Nimal Nissanke, Hamdan Dammag	Risk Bands - A Novel Feature of Safecharts.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell	Testing Nondeterminate Systems.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Lee J. White, Husain Almezen	Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences.	ISSRE	2000	DBLP DOI BibTeX RDF	GUI Object Collaboration, Complete Interaction Sequences, Graphical User Interfaces, GUI Testing
1	Ming Li, Carol S. Smidts, R. W. Brill	Ranking Software Engineering Measures Related to Reliability Using Expert Opinion.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Ann Marie Neufelder	How to Measure the Impact of Specific Development Practices on Fielded Defect Density.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Sam K. S. Sze, Michael R. Lyu	ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Miroslav Popovic, Vladimir Kovacevic, M. Skrbic	Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD.	ISSRE	2000	DBLP DOI BibTeX RDF	fault-tolerant and robust software, software maintenance and software quality prediction
1		11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA	ISSRE	2000	DBLP BibTeX RDF
1	Lionel C. Briand, Bernd G. Freimut, Ferdinand Vollei	Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion.	ISSRE	2000	DBLP DOI BibTeX RDF	expert knowledge elicitation, Monte-Carlo simulation, Software inspection, cost-effectiveness
1	Amit M. Paradkar	SALT - An Integrated Environment to Automate Generation of Function Tests for APIs.	ISSRE	2000	DBLP DOI BibTeX RDF	Test Design Automation, Model Based Testing, Specification-Based Testing, Fault-Based Testing
1	Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu	Structural Testing of Web Applications.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Yashwant K. Malaiya, Jason Denton	Module Size Distribution and Defect Density.	ISSRE	2000	DBLP DOI BibTeX RDF	Module size, module size Distribution, reliability, defect density
1	Martin Kappes, Chandra M. R. Kintala, Reinhard Klemm	Formal Limits on Determining Reliabilities of Component-Based Software Systems.	ISSRE	2000	DBLP DOI BibTeX RDF	Reliability Approximation, Software Reliability, Component-Based Software, Reliability Computation, Communicating Finite State Machines
1	Pathirage Gamini Wijayarathna, Mamoru Maekawa	Extending Fault Trees with an AND-THEN Gate.	ISSRE	2000	DBLP DOI BibTeX RDF
1	D. Boyd, D. Cura, Willa K. Ehrlich, R. Gotberg, Rema Hariharan, Paul Reeser	Contributing to the Bottom Line: Optimizing Reliability-Cost-Schedule Tradeoff and Architecture Scalability through Test Technology.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Roger T. Alexander, A. Jefferson Offutt	Criteria for Testing Polymorphic Relationships.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi	Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications.	ISSRE	2000	DBLP DOI BibTeX RDF	GMDH networks, software release problem, software reliability, learning algorithms, connectionist models, predictive performance
1	Daniel R. Jeske, M. Akber Qureshi	Estimating the Failure Rate of Evolving Software Systems.	ISSRE	2000	DBLP DOI BibTeX RDF	NHPP Models, Failure Rate Prediction, Bayesian Methods
1	Norman F. Schneidewind	On the Repeatability of Metric Models and Metrics across Software Builds.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon	Building Trust into OO Components Using a Genetic Analogy.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Brian J. Taylor, Bojan Cukic	Evaluation of Regressive Methods for Automated Generation of Test Trajectories.	ISSRE	2000	DBLP DOI BibTeX RDF
1	John D. Musa	Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask.	ISSRE	2000	DBLP BibTeX RDF
1	Daniel Brand	A Software Falsifier.	ISSRE	2000	DBLP DOI BibTeX RDF	static analysis, theorem proving, data-flow analysis, symbolic execution
1	David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan	Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.	ISSRE	2000	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar, Ruqun Shan, Edward B. Allen	Improving Tree-Based Models of Software Quality with Principal Components Analysis.	ISSRE	2000	DBLP DOI BibTeX RDF	principal components analysis, software quality, software metrics, classification trees, fault-prone modules, S-Plus
1	Liang Yin, Kishor S. Trivedi	Confidence interval estimation of NHPP-based software reliability models.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Miroslav Popovic, Vladimir Kovacevic, M. Skrbic	Software development and testing methodology used for subscriber digital concentrator ACK-2000.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit	Developing a high-quality software tool for fault tree analysis.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Kalyanaraman Vaidyanathan, Kishor S. Trivedi	A measurement-based model for estimation of resource exhaustion in operational software systems.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Mei-Hwa Chen, Howard M. Kao	Testing object-oriented programs - an integrated approach.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu	Software reliability modeling and cost estimation incorporating testing-effort and efficiency.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Silke Kuball, John H. R. May, Gordon Hughes	Building a system failure rate estimator by identifying component failure rates.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Anneliese von Mayrhauser, Robert B. France	Generating test cases from an OO model with an AI planning system.	ISSRE	1999	DBLP DOI BibTeX RDF
1	Kimberly Fernsler, Philip Koopman	Robustness testing of a distributed simulation backplane.	ISSRE	1999	DBLP DOI BibTeX RDF

Publications at "ISSRE"( http://dblp.L3S.de/Venues/ISSRE )