Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts |
Validation of a Methodology for Assessing Software Reliability. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Meine van der Meulen, Peter G. Bishop, Miguel A. Revilla |
An Exploration of Software Faults and Failure Behaviour in a Large Population of Programs. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather |
Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
FMECA, SFMECA, FTA, PRA, Risk-informed decision-making, Cost-benefit tradeoffs, Probabilistic Risk Reduction, FMEA, Failure Modes |
1 | |
15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France |
ISSRE |
2004 |
DBLP BibTeX RDF |
|
1 | Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner |
Coverage Metrics for Continuous Function Charts. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
mixed continuous-discrete and real-time systems, model-based testing, Integration testing, data flow testing, block diagrams, MC/DC |
1 | Per Runeson, Måns Holmstedt Jönsson, Fredrik Scheja |
Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hyunsook Do, Gregg Rothermel, Alex Kinneer |
Empirical Studies of Test Case Prioritization in a JUnit Testing Environment. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jim Steel, Michael Lawley |
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Brahmila Kamalakar, Sudipto Ghosh, Peter Vile |
Middleware Transparent Development of Dependable CORBA Applications. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
security, authentication, aspect-oriented programming, CORBA, dependability, authorization, software reuse, MDA, SSL, aspect-oriented modeling |
1 | Wes Masri, Andy Podgurski, David Leon |
Detecting and Debugging Insecure Information Flows. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Mankefors-Christiernin, Andreas Boklund |
Multiple Profile Evaluation Using a Single Test Suite in Random Testing. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mechelle Gittens, Hanan Lutfi Lutfiyya, Michael A. Bauer 0001 |
An Extended Operational Profile Model. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Davidsson, Jiang Zheng 0001, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk |
GERT: An Empirical Reliability Estimation and Testing Feedback Tool. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Desovski, Vijai Gandikota, Yan Liu 0003, Yue Jiang 0001, Bojan Cukic |
Validation and Reliability Estimation of a Fingerprint Image Registration Software. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nachiappan Nagappan, Laurie A. Williams, John P. Hudepohl, Will Snipes, Mladen A. Vouk |
Preliminary Results On Using Static Analysis Tools For Software Inspection. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nick Rutar, Christian B. Almazan, Jeffrey S. Foster |
A Comparison of Bug Finding Tools for Java. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kalyan-Ram Chilakamarri, Sebastian G. Elbaum |
Reducing Coverage Collection Overhead With Disposable Instrumentation. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Silke Kuball, John H. R. May |
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yao-Wen Huang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo |
Non-Detrimental Web Application Security Scanning. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Ellims, James Bridges, Darrel C. Ince |
Unit Testing in Practice. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bracchi, Bojan Cukic, Vittorio Cortellessa |
Performability Modeling of Mobile Software Systems. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xia Cai, Michael R. Lyu |
An Empirical Study on Reliability Modeling for Diverse Software Systems. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amit M. Paradkar |
Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
Model-Based Test Generation, EFSM-based Test Selection, Mutation-based Test Selection |
1 | Jia Zhang 0001 |
An Approach to Facilitate Reliability Testing of Web Services Components. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud |
A Generic Method for Statistical Testing. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | João W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo |
Software Release Control using Defect Based Quality Estimation. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting |
Boundary Coverage Criteria for Test Generation from Formal Models. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
boundary-value testing, test coverage criteria, model-based testing |
1 | Lan Guo, Yan Ma, Bojan Cukic, Harshinder Singh |
Robust Prediction of Fault-Proneness by Random Forests. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Katerina Goseva-Popstojanova, Sunil Mazimdar, Ajay Deep Singh |
Empirical Study of Session-Based Workload and Reliability for Web Servers. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Weber |
Statistical Software Testing with Parallel Modeling: A Case Study. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | William H. Farr, John R. Crigler, Dolores R. Wallace |
Updates to the Schneidewind Software Reliability Model in SMERFS. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Jalote, Brendan Murphy |
Reliability Growth in Software Products. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jinlin Yang, David Evans 0001 |
Automatically Inferring Temporal Properties for Program Evolution . |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Swapna S. Gokhale, Robert E. Mullen |
From Test Count to Code Coverage using the Lognormal Failure Rate. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
Lognormal, Software Test, Coverage, Software Reliability Growth |
1 | Guillaume Lussier, Hélène Waeselynck |
Deriving Test Sets from Partial Proofs. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xiangrong Wang, Jun Xu, Christopher H. Pham |
An Effective Method to Detect Software Memory Leakage Leveraged from Neuroscience Principles Governing Human Memory Behavior. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Le Guen, Raymond A. Marie, Thomas Thelin |
Reliability Estimation for Statistical Usage Testing using Markov Chains. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yun Liu, Veena B. Mendiratta, Kishor S. Trivedi |
Survivability Analysis of Telephone Access Network. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Offutt, Ye Wu, Xiaochen Du, Hong Huang |
Bypass Testing of Web Applications. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Francis, David Leon, Melinda Minch, Andy Podgurski |
Tree-Based Methods for Classifying Software Failures. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Marin, Marin Bertier, Pierre Sens 0001 |
DARX - A Framework For The Fault-Tolerant Support Of Agent Software. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Per Runeson, Anneliese Amschler Andrews |
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
Defect isolation, Empirical Study, Unit testing, Controlled Experiment, Defect detection, Code Inspection |
1 | Sherif M. Yacoub, Xiaofan Lin, Steven J. Simske, John Burns 0003 |
Automating the Analysis of Voting Systems. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
voting reliability analysis and fault-tolerance |
1 | Hiroyuki Okamura, Yasuhiro Watanabe, Tadashi Dohi |
An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
EM algorithm, maximum likelihood estimation, software reliability model, non-homogeneous Poisson process |
1 | Linda J. Moore, Angelica R. Moya |
Non-Intrusive Debug Technique for Embedded Programming. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop, Robin E. Bloomfield |
Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Parissis, Jérôme Vassy |
Thoroughness of Specification-Based Testing of Synchronous Programs. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |
Test Adequacy Assessment for UML Design Model Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram |
1 | Lionel C. Briand, Yvan Labiche, Yihong Wang |
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | James Law, Gregg Rothermel |
Incremental Dynamic Impact Analysis for Evolving Software Systems. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mike Jochen, Lisa M. Marvel, Lori L. Pollock |
A Framework for Tamper Detection Marking of Mobile Applications. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jane Huffman Hayes |
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno |
A Bayesian Belief Network for Assessing the Likelihood of Fault Content. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
Bayesian belief network, causal model, software quality prediction |
1 | David Coppit, Robert R. Painter, Kevin J. Sullivan |
Shared Semantic Domains for Computational Reliability Engineering. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hongxia Jin, Jeffery Lotspiech |
Forensic Analysis for Tamper Resistant Software. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Jalote, Bijendra Vishal |
Optimal Resource Allocation for the Quality Control Process. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Gotlieb |
Exploiting Symmetries to Test Programs. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Avik Sinha, Carol S. Smidts, Andrew Moran |
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paul Ammann, A. Jefferson Offutt, Hong Huang |
Coverage Criteria for Logical Expressions. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Li Wang, Mei-Huei Tang |
User-Oriented Reliability Modeling for a Web System. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
User-Oriented Reliability Modeling, Transition Tree, Depth-First Traversal, Dynamic Programming, Flow Graph, Cyclomatic Complexity |
1 | Ruilian Zhao, Michael R. Lyu, Yinghua Min |
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Myra B. Cohen, Charles J. Colbourn, Alan C. H. Ling |
Augmenting Simulated Annealing to Build Interaction Test Suites. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | |
14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA |
ISSRE |
2003 |
DBLP BibTeX RDF |
|
1 | Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen |
High-Assurance Synthesis of Security Services from Basic Microservices. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
Microservices, Software architecture, Software composition, Security service |
1 | Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel |
Requirements by Contracts allow Automated System Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hui Ma 0006, I-Ling Yen, Farokh B. Bastani, Kendra M. L. Cooper |
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
Repository system, QoS, Embedded system, Pareto-optimal, Component composition |
1 | Norman F. Schneidewind |
Fault Correction Profiles. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Laurie A. Williams, E. Michael Maximilien, Mladen A. Vouk |
Test-Driven Development as a Defect-Reduction Practice. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dorron Levy, Ram Chillarege |
Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Brian Demsky, Martin C. Rinard |
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol |
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bin Li 0020, Ming Li, Susmita Ghose, Carol S. Smidts |
Integrating Software into PRA. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai |
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
data flow coverage testing, empirical study, software fault tolerance, mutation testing |
1 | Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi |
Maximizing Interval Reliability in Operational Software System with Rejuvenation. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David Saff, Michael D. Ernst |
Reducing wasted development time via continuous testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ed Stoker, Joanne Bechta Dugan |
When Does It Pay to Make Software More Reliable?. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
Musa/Okumoto NHPP model, Discounted cash flow, Economic worth, Software reliability models, Net Present Value |
1 | Sebastian G. Elbaum, Satya Kanduri, Anneliese Amschler Andrews |
Anomalies as Precursors of Field Failures. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Bagchi, Henrique Madeira |
Open Source Software - A Recipe for Vulnerable Software, or The Only Way to Keep the Bugs and the Bad Guys Out? |
ISSRE |
2003 |
DBLP BibTeX RDF |
|
1 | Stefan Mankefors, Richard Torkar, Andreas Boklund |
New Quality Estimations in Random Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard Torkar, Stefan Mankefors, Krister Hansson, Andreas Jonsson |
An Exploratory Study of Component Reliability Using Unit Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David Leon, Andy Podgurski |
A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Katerina Goseva-Popstojanova, Sunil Kamavaram |
Assessing Uncertainty in Reliability of Component-Based Software Systems. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Brian A. Malloy, Peter J. Clarke, Errol L. Lloyd |
A Parameterized Cost Model to Order Classes for Class-based Testing of C++ Applications. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roger T. Alexander, James M. Bieman, Sudipto Ghosh, Bixia Ji |
Mutation of Java Objects. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Java, software testing, object-oriented programming, testability, Faults, mutation analysis, test adequacy |
1 | Ganesh J. Pai, Joanne Bechta Dugan |
Automatic Synthesis of Dynamic Fault Trees from UML System Models. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Fault tree synthesis, UML, Reliability analysis, Dynamic fault trees |
1 | Reinhard Klemm, Navjot Singh 0001 |
Automatic Failure Detection, Logging, and Recovery for High-Availability Java Servers. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Java, Policies, Availability, Recovery, Server, Logging, Failure Detection, Object Persistence |
1 | Taghi M. Khoshgoftaar |
Improving Usefulness of Software Quality Classification Models Based on Boolean Discriminant Functions. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yu Lei 0001, Kuo-Chung Tai |
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Roger T. Alexander, Jeff Offutt, James M. Bieman |
Fault Detection Capabilities of Coupling-based OO Testing. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dingding Lu, Robyn R. Lutz |
Fault Contribution Trees for Product Families. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Subhachandra Chandra, Peter M. Chen |
The Impact of Recovery Mechanisms on the Likelihood of Saving Corrupted State. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marc Fisher II, Dalai Jin, Gregg Rothermel, Margaret M. Burnett |
Test Reuse in the Spreadsheet Paradigm. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Giuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
A Case Study Using the Round-Trip Strategy for State-Based Class Testing. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu |
Optimal Allocation of Testing Resources for Modular Software Systems. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Grottke |
A Vector Markov Model for Structural Coverage Growth and the Number of Failure Occurrences. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Satoshi Miyahara, Tadashi Dohi |
Dependability Analysis of a Client/Server Software System with Rejuvenation. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno |
On Estimating Testing Effort Needed to Assure Field Quality in Software Development. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Li Wang, Mei-Hwa Chen |
Heterogeneous Software Reliability Modeling. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christof Fetzer, Zhen Xiao |
A Flexible Generator Architecture for Improving Software Dependability. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
security, reliability, middleware, software fault-tolerance, wrappers, wrapper generator |
1 | Peter G. Bishop, Robin E. Bloomfield |
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
worst case reliability bound, residual fault prediction, reliability prediction, reliability testing |