Collaborated with:
R.Purandare
Talks about:
inconsist (1) between (1) unveil (1) string (1) specif (1) semant (1) segat (1) input (1) code (1)
Person: Devika Sondhi
DBLP: Sondhi:Devika
Contributed to:
Wrote 1 papers:
- ASE-2019-SondhiP #consistency #named #nondeterminism #semantics #specification #string
- SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs (DS, RP), pp. 200–212.