• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 46 matches

• 1995
• 
  Min Xie, Claes Wohlin:
  An additive reliability model for the analysis of modular software failure data. ISSRE 1995: 188-194
• 
  Hiralal Agrawal, Joseph R. Horgan, Saul London, W. Eric Wong:
  Fault localization using execution slices and dataflow tests. ISSRE 1995: 143-151
• 
  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
• 
  Algirdas Avizienis:
  Dependable computing depends on structured fault tolerance. ISSRE 1995: 158-168
• 
  Walter Baziuk:
  BNR/NORTEL: path to improve product quality, reliability and customer satisfaction. ISSRE 1995: 256-262
• 
  Fevzi Belli, Javier Dreyer:
  Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming. ISSRE 1995: 68-77
• 
  Fevzi Belli, Oliver Jack:
  A test coverage notion for logic programming. ISSRE 1995: 133-142
• 
  H. Buczilowski:
  Defect reduction in VSE-methodology and results. ISSRE 1995: 274-277
• 
  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
• 
  Michael Carr:
  A data analysis and representation engine to support software reliability engineering. ISSRE 1995: 368-374
• 
  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
• 
  Christof Ebert, Thomas Liedtke:
  An integrated approach for criticality prediction. ISSRE 1995: 14-23
• 
  Paul H. Franklin:
  An analysis of system level software availability during test. ISSRE 1995: 360-365
• 
  Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini:
  On the correlation between code coverage and software reliability. ISSRE 1995: 124-132
• 
  Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi:
  Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net. ISSRE 1995: 180-187
• 
  Katerina Goseva-Popstojanova, Aksenti Grnarov:
  Performability modeling of N version programming technique. ISSRE 1995: 209-218
• 
  David Hamilton, Richard Covington, Alice T. Lee:
  An experience report on requirements reliability engineering using formal methods. ISSRE 1995: 52-57
• 
  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
• 
  Rong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang:
  Hyper-geometric distribution software reliability growth model with imperfect debugging. ISSRE 1995: 195-200
• 
  B. D. Jensen:
  A software reliability engineering success story. AT&T's Definity PBX. ISSRE 1995: 338-343
• 
  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
• 
  Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno:
  An approach to safety and correctness verification of software design specification. ISSRE 1995: 78-83
• 
  D. A. Kropfl, Willa K. Ehrlich:
  Telecommunications network operations systems: experiences in software reliability engineering. ISSRE 1995: 344-349
• 
  Jean-Claude Laprie:
  Dependability of computer systems: concepts, limits, improvements. ISSRE 1995: 2-11
• 
  Michael Naixin Li, Yashwant K. Malaiya:
  ROBUST: a next generation software reliability engineering tool. ISSRE 1995: 375-380
• 
  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
• 
  Yashwant K. Malaiya:
  Antirandom testing: getting the most out of black-box testing. ISSRE 1995: 86-95
• 
  P. K. Mangan, Bryant Cruse, J. P. VanBlois, Haim Levendel, Jean-Michel Nogue:
  Software Reliability in COTS-Based Systems. ISSRE 1995: 154-157
• 
  John F. Meyer, Bev Littlewood, David Wright:
  Dependability of modular software in a multiuser operational environment. ISSRE 1995: 170-179
• 
  Takashi Minohara, Yoshihiro Tohma:
  Parameter estimation of hyper-geometric distribution software reliability growth model by genetic algorithms. ISSRE 1995: 324-329

skipping 16 more matches