Search results for "ISSRE"

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

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