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 |
|