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: Liburdy:K=_A=
Contributed to:
1996
1996
1994Wrote 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.