Travelled to:
1 × USA
Collaborated with:
D.Torres F.d.A.Barros
Talks about:
translat (1) descript (1) languag (1) specif (1) formal (1) natur (1) test (1) spec (1) case (1)
Person: Daniel Leitao
DBLP: Leitao:Daniel
Contributed to:
Wrote 1 papers:
- SEKE-2007-LeitaoTB #named #natural language #specification #testing
- NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.