Travelled to:1 × Denmark
1 × Finland
1 × Germany
Collaborated with:J.Derrick K.Bogdanov N.Walkinshaw M.Hall
Talks about:infer (3) behaviour (2) softwar (1) regress (1) optimis (1) automat (1) machin (1) extend (1) execut (1) erlang (1)
Person: Ramsay Taylor
DBLP: Taylor:Ramsay
Contributed to:
2013
2013
2012Wrote 3 papers:
- IFM-2013-TaylorBD #automation #behaviour #erlang
- Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.
- WCRE-2013-WalkinshawTD #finite #modelling #state machine
- Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
- ICTSS-2012-TaylorHBD #behaviour #testing #using
- Using Behaviour Inference to Optimise Regression Test Sets (RT, MH, KB, JD), pp. 184–199.