Integrating formal methods with testing for reliability estimation of component based systems

Debasmita  Lohar; Soumyajit Dey

doi:10.1109/ISSREW.2015.7392033

Integrating formal methods with testing for reliability estimation of component based systems

Debasmita Lohar
, Soumyajit Dey

Indian Institute of Technology Kharagpur

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	IEEE international symposium on software reliability engineering workshops (ISSREW)
Publication date	2 Nov 2015
DOIs	https://doi.org/10.1109/ISSREW.2015.7392033
Publication status	Published - 2 Nov 2015
Externally published	Yes
Event	International Symposium on Software Reliability Engineering - São Paulo, Brazil Duration: 21 Oct 2025 → 24 Oct 2025 Conference number: 36 https://www.resurchify.com/ed/issre-2025-the-36th-ieee-international-symposium/19157#:~:text=ISSRE%202025%20%3A%20The%2036th%20IEEE%20International%20Symposium,Topics%2C%20Agenda%2C%20Visitors%20Profile%2C%20and%20Other%20Important%20Details.

Symposium

Symposium	International Symposium on Software Reliability Engineering
Number	36
Country/Territory	Brazil
City	São Paulo
Period	21/10/2025 → 24/10/2025
Internet address	https://www.resurchify.com/ed/issre-2025-the-36th-ieee-international-symposium/19157#:~:text=ISSRE%202025%20%3A%20The%2036th%20IEEE%20International%20Symposium,Topics%2C%20Agenda%2C%20Visitors%20Profile%2C%20and%20Other%20Important%20Details.

Keywords

Basic Components
Formal Methods
System Software
Efficient Algorithm
Component Reliability
Input Variables
Control Software
Probability Of Failure
Static Analysis
Top Level
Measure Of Confidence
Cover Factor
Operating Region
Postconditioning
Input Regions
Motivating Example
Avionics
Coverage Path
Failure Region

Access to Document

10.1109/ISSREW.2015.7392033

Cite this

@inproceedings{52db67ed7ce8491f875bc07fb3f19e7c,

title = "Integrating formal methods with testing for reliability estimation of component based systems",

keywords = "Basic Components, Formal Methods, System Software, Efficient Algorithm, Component Reliability, Input Variables, Control Software, Probability Of Failure, Static Analysis, Top Level, Measure Of Confidence, Cover Factor, Operating Region, Postconditioning, Input Regions, Motivating Example, Avionics, Coverage Path, Failure Region",

author = "Debasmita Lohar and Soumyajit Dey",

year = "2015",

month = nov,

day = "2",

doi = "10.1109/ISSREW.2015.7392033",

language = "English",

booktitle = "IEEE international symposium on software reliability engineering workshops (ISSREW)",

note = "International Symposium on Software Reliability Engineering, ISSRE ; Conference date: 21-10-2025 Through 24-10-2025",

url = "https://www.resurchify.com/ed/issre-2025-the-36th-ieee-international-symposium/19157\#:\textasciitilde{}:text=ISSRE\%202025\%20\%3A\%20The\%2036th\%20IEEE\%20International\%20Symposium,Topics\%2C\%20Agenda\%2C\%20Visitors\%20Profile\%2C\%20and\%20Other\%20Important\%20Details.",

}

TY - GEN

T1 - Integrating formal methods with testing for reliability estimation of component based systems

AU - Lohar, Debasmita

AU - Dey, Soumyajit

N1 - Conference code: 36

PY - 2015/11/2

Y1 - 2015/11/2

KW - Basic Components

KW - Formal Methods

KW - System Software

KW - Efficient Algorithm

KW - Component Reliability

KW - Input Variables

KW - Control Software

KW - Probability Of Failure

KW - Static Analysis

KW - Top Level

KW - Measure Of Confidence

KW - Cover Factor

KW - Operating Region

KW - Postconditioning

KW - Input Regions

KW - Motivating Example

KW - Avionics

KW - Coverage Path

KW - Failure Region

U2 - 10.1109/ISSREW.2015.7392033

DO - 10.1109/ISSREW.2015.7392033

M3 - Article in proceedings

BT - IEEE international symposium on software reliability engineering workshops (ISSREW)

T2 - International Symposium on Software Reliability Engineering

Y2 - 21 October 2025 through 24 October 2025

ER -