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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	IEEE international symposium on software reliability engineering workshops (ISSREW)
Publikationsdato	2 nov. 2015
DOI	https://doi.org/10.1109/ISSREW.2015.7392033
Status	Udgivet - 2 nov. 2015
Udgivet eksternt	Ja
Begivenhed	Software Reliability Engineering - São Paulo, Brasilien Varighed: 21 okt. 2025 → 24 okt. 2025 Konferencens nummer: 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.

Konference

Konference	Software Reliability Engineering
Nummer	36
Land/Område	Brasilien
By	São Paulo
Periode	21/10/2025 → 24/10/2025
Internetadresse	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.

Adgang til dokumentet

10.1109/ISSREW.2015.7392033

Citationsformater

@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 = "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 - Software Reliability Engineering

Y2 - 21 October 2025 through 24 October 2025

ER -