Travelled to:
2 × USA
Collaborated with:
C.Murphy G.E.Kaiser
Talks about:
test (4) without (2) oracl (2) metamorph (1) program (1) automat (1) system (1) runtim (1) assert (1) applic (1)
Person: Kuang Shen
DBLP: Shen:Kuang
Contributed to:
Wrote 2 papers:
- ICST-2009-MurphySK #ml #runtime #testing #using
- Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.
- ISSTA-2009-MurphySK #automation #source code #testing
- Automatic system testing of programs without test oracles (CM, KS, GEK), pp. 189–200.