14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769520073

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Coverage criteria for logical expressions

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251034 ◽

2005 ◽

Cited By ~ 34

Author(s):

P. Ammann ◽

J. Offutt ◽

Hong Huang

Keyword(s):

Coverage Criteria

Download Full-text

An empirical study on testing and fault tolerance for software reliability engineering

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251036 ◽

2005 ◽

Cited By ~ 21

Author(s):

M.R. Lyu ◽

Zubin Huang ◽

S.K.S. Sze ◽

Xia Cai

Keyword(s):

Fault Tolerance ◽

Empirical Study ◽

Software Reliability ◽

Reliability Engineering

Download Full-text

Augmenting simulated annealing to build interaction test suites

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251061 ◽

2005 ◽

Cited By ~ 40

Author(s):

M.B. Cohen ◽

C.J. Colbourn ◽

A.C.H. Ling

Keyword(s):

Simulated Annealing ◽

Test Suites ◽

Interaction Test

Download Full-text

Optimal resource allocation for the quality control process

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251028 ◽

2005 ◽

Author(s):

P. Jalote ◽

B. Vishal

Keyword(s):

Resource Allocation ◽

Quality Control ◽

Control Process ◽

Optimal Resource Allocation ◽

Quality Control Process ◽

Optimal Resource

Download Full-text

A new software testing approach based on domain analysis of specifications and programs

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251031 ◽

2005 ◽

Author(s):

Ruilian Zhao ◽

M.R. Lyu ◽

Yinghua Min

Keyword(s):

Software Testing ◽

Domain Analysis ◽

Testing Approach

Download Full-text

Static specification analysis for termination of specification-based data structure repair

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251032 ◽

2005 ◽

Cited By ~ 3

Author(s):

B. Demsky ◽

M. Rinard

Keyword(s):

Data Structure ◽

Data Structure Repair ◽

Specification Analysis

Download Full-text

Using a log-normal failure rate distribution for worst case bound reliability prediction

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251046 ◽

2005 ◽

Cited By ~ 9

Author(s):

P.G. Bishop ◽

R.E. Bloomfield

Keyword(s):

Failure Rate ◽

Reliability Prediction ◽

Worst Case ◽

Rate Distribution ◽

Log Normal

Download Full-text

Maximizing interval reliability in operational software system with rejuvenation

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251068 ◽

2005 ◽

Cited By ~ 7

Author(s):

H. Suzuki ◽

T. Dohi ◽

N. Kaio ◽

K.S. Trivedi

Keyword(s):

Software System ◽

Interval Reliability

Download Full-text

Investigating java type analyses for the receiver-classes testing criterion

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251063 ◽

2005 ◽

Author(s):

P. Brunelle ◽

E. Merlo ◽

G. Antoniol

Download Full-text

Integrating software into PRA

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251066 ◽

2005 ◽

Cited By ~ 1

Author(s):

Bin Li ◽

Ming Li ◽

S. Ghose ◽

C. Smidts

Download Full-text

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Coverage criteria for logical expressions

An empirical study on testing and fault tolerance for software reliability engineering

Augmenting simulated annealing to build interaction test suites

Optimal resource allocation for the quality control process

A new software testing approach based on domain analysis of specifications and programs

Static specification analysis for termination of specification-based data structure repair

Using a log-normal failure rate distribution for worst case bound reliability prediction

Maximizing interval reliability in operational software system with rejuvenation

Investigating java type analyses for the receiver-classes testing criterion

Integrating software into PRA

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.
Latest Publications