4 papers:
ISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification- Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
CSCW-2013-JacksonSB #policy #why- Why CSCW needs science policy (and vice versa) (SJJ, SBS, AGB), pp. 1113–1124.
ICMT-2009-HillairetBL #model transformation #query- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa (GH, FB, JYL), pp. 116–131.
ICSE-2005-Ayton #how- Extending the discipline: how software can help or hinder human decision making (and vice-versa) (PA), p. 36.
