Travelled to:
1 × France
Collaborated with:
B.H.C.Cheng
Talks about:
incomplet (1) automat (1) analysi (1) symbol (1) requir (1) detect (1)
Person: Byron DeVries
DBLP: DeVries:Byron
Contributed to:
Wrote 1 papers:
- MoDELS-2016-DeVriesC #analysis #automation #detection #requirements
- Automatic detection of incomplete requirements via symbolic analysis (BD, BHCC), pp. 385–395.