Travelled to:2 × USA
Collaborated with:Z.Zeng T.J.Weigert A.Liu K.R.Nair
Talks about:specif (2) criterion (1) approach (1) requir (1) formal (1) direct (1) verif (1) logic (1) frorl (1) debug (1)
Person: Jeffrey J. P. Tsai
DBLP: Tsai:Jeffrey_J=_P=
Contributed to:
19961993Wrote 2 papers:
- SEKE-1996-ZengTW #specification #testing #verification
- Verification Criterion Directed Testing for Formal Specifications (ZZ, JJPT, TJW), pp. 393–399.
- SEKE-1993-TsaiLN #approach #debugging #requirements #specification
- Debugging Logic-Based Requirements Specifications — a FRORL Approach (JJPT, AL, KRN), pp. 372–379.