1995 share record
persistent URL:
Min Xie , Claes Wohlin : An additive reliability model for the analysis of modular software failure data. ISSRE 1995 : 188-194 share record
persistent URL:
Hiralal Agrawal , Joseph R. Horgan , Saul London , W. Eric Wong : Fault localization using execution slices and dataflow tests. ISSRE 1995 : 143-151 share record
persistent URL:
Ammar Attoui , David R. C. Hill : A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic. ISSRE 1995 : 387-392 share record
persistent URL:
Algirdas Avizienis : Dependable computing depends on structured fault tolerance. ISSRE 1995 : 158-168 share record
persistent URL:
Walter Baziuk : BNR/NORTEL: path to improve product quality, reliability and customer satisfaction. ISSRE 1995 : 256-262 share record
persistent URL:
Fevzi Belli , Javier Dreyer : Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming. ISSRE 1995 : 68-77 share record
persistent URL:
Fevzi Belli , Oliver Jack : A test coverage notion for logic programming. ISSRE 1995 : 133-142 share record
persistent URL:
H. Buczilowski : Defect reduction in VSE-methodology and results. ISSRE 1995 : 274-277 share record
persistent URL:
D. W. Carman , Adrian A. Dolinsky , Michael R. Lyu , Jinsong S. Yu : Software reliability engineering study of a large-scale telecommunications software system. ISSRE 1995 : 350-359 share record
persistent URL:
Michael Carr : A data analysis and representation engine to support software reliability engineering. ISSRE 1995 : 368-374 share record
persistent URL:
Krassimir Djambazov , Peter T. Popov : The effect of testing on the reliability of single version and 1-out-of-2 software systems. ISSRE 1995 : 219-228 share record
persistent URL:
Christof Ebert , Thomas Liedtke : An integrated approach for criticality prediction. ISSRE 1995 : 14-23 share record
persistent URL:
Paul H. Franklin : An analysis of system level software availability during test. ISSRE 1995 : 360-365 share record
persistent URL:
Fabio Del Frate , Praerit Garg , Aditya P. Mathur , Alberto Pasquini : On the correlation between code coverage and software reliability. ISSRE 1995 : 124-132 share record
persistent URL:
Sachin Garg , Antonio Puliafito , Miklós Telek , Kishor S. Trivedi : Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net. ISSRE 1995 : 180-187 export record
dblp key:
conf/issre/Goseva-Popstojanova95 share record
persistent URL:
Katerina Goseva-Popstojanova , Aksenti Grnarov : Performability modeling of N version programming technique. ISSRE 1995 : 209-218 share record
persistent URL:
David Hamilton , Richard Covington , Alice T. Lee : An experience report on requirements reliability engineering using formal methods. ISSRE 1995 : 52-57 export record
dblp key:
conf/issre/HladyKLPPSSSV95 share record
persistent URL:
M. Hlady , R. Kovacevic , J. Jenny Li , Barry R. Pekilis , D. Prairie , Tony Savor , Rudolph E. Seviora , D. A. Simser , Alexandre Vorobiev : An approach to automatic detection of software failures. ISSRE 1995 : 314-323 share record
persistent URL:
Rong-Huei Hou , Sy-Yen Kuo , Yi-Ping Chang : Hyper-geometric distribution software reliability growth model with imperfect debugging. ISSRE 1995 : 195-200 share record
persistent URL:
B. D. Jensen : A software reliability engineering success story. AT&T's Definity PBX. ISSRE 1995 : 338-343 export record
dblp key:
conf/issre/KhoshgoftaarAKG95 share record
persistent URL:
Taghi M. Khoshgoftaar , Edward B. Allen , Kalai Kalaichelvan , Nishith Goel , John P. Hudepohl , Jean Mayrand : Detection of fault-prone program modules in a very large telecommunications system. ISSRE 1995 : 24-33 share record
persistent URL:
Eun Mi Kim , Shinji Kusumoto , Tohru Kikuno : An approach to safety and correctness verification of software design specification. ISSRE 1995 : 78-83 share record
persistent URL:
D. A. Kropfl , Willa K. Ehrlich : Telecommunications network operations systems: experiences in software reliability engineering. ISSRE 1995 : 344-349 share record
persistent URL:
Jean-Claude Laprie : Dependability of computer systems: concepts, limits, improvements. ISSRE 1995 : 2-11 share record
persistent URL:
Michael Naixin Li , Yashwant K. Malaiya : ROBUST: a next generation software reliability engineering tool. ISSRE 1995 : 375-380 share record
persistent URL:
Robert E. Loesh , Arthur B. Gosnell , James D. Johannes , Richard M. Wyskida , Stephen E. Zutaut : MICOM IV&V planning approach and experience involving software reliability. ISSRE 1995 : 330-336 share record
persistent URL:
Yashwant K. Malaiya : Antirandom testing: getting the most out of black-box testing. ISSRE 1995 : 86-95 share record
persistent URL:
P. K. Mangan , Bryant Cruse , J. P. VanBlois , Haim Levendel , Jean-Michel Nogue : Software Reliability in COTS-Based Systems. ISSRE 1995 : 154-157 share record
persistent URL:
John F. Meyer , Bev Littlewood , David Wright : Dependability of modular software in a multiuser operational environment. ISSRE 1995 : 170-179 share record
persistent URL:
Takashi Minohara , Yoshihiro Tohma : Parameter estimation of hyper-geometric distribution software reliability growth model by genetic algorithms. ISSRE 1995 : 324-329