BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
2 × USA
Collaborated with:
J.F.Leathrum J.L.Crowley G.Deshmukh R.Deshpande
Talks about:
test (3) standard (2) system (2) formal (2) open (2) methodolog (1) approach (1) requir (1) report (1) method (1)

Person: K. A. Liburdy

DBLP DBLP: Liburdy:K=_A=

Contributed to:

ICRE 19961996
ISSTA 19961996
ICSE 19941994

Wrote 3 papers:

ICRE-1996-LeathrumL #approach #formal method #requirements #standard #testing
A formal approach to requirements based testing in open systems standards (JFL, KAL), pp. 94–101.
ISSTA-1996-CrowleyLL #automation #formal method #testing #using
Issues in the Full Scale Use of Formal Methods for Automated Testing (JLC, JFL, KAL), pp. 71–78.
ICSE-1994-DeshmukhDLL #case study #experience #standard #testing
The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report (GD, RD, JFL, KAL), pp. 233–240.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.