Travelled to:1 × Austria
1 × Canada
1 × Germany
2 × United Kingdom
Collaborated with:M.Veanes C.Pich G.G.Robertson W.Grieskamp W.Schulte N.Tillmann N.Bjørner S.Bereg A.Blass Y.Gurevich C.Campbell M.Barnett
Talks about:test (3) decomposit (1) softwar (1) environ (1) concurr (1) analysi (1) visual (1) toward (1) system (1) orient (1)
Person: Lev Nachmanson
DBLP: Nachmanson:Lev
Contributed to:
2014
2008
2005
20052003Wrote 5 papers:
- CAV-2014-VeanesBNB #composition #monad
- Monadic Decomposition (MV, NB, LN, SB), pp. 628–645.
- SOFTVIS-2008-PichNR #analysis #dependence #graph #visual notation
- Visual analysis of importance and grouping in software dependency graphs (CP, LN, GGR), pp. 29–32.
- FATES-2005-BlassGNV #game studies
- Play to Test (AB, YG, LN, MV), pp. 32–46.
- FM-2005-CampbellGNSTV #concurrent #object-oriented #specification #testing
- Testing Concurrent Object-Oriented Systems with Spec Explorer (CC, WG, LN, WS, NT, MV), pp. 542–547.
- FATES-2003-BarnettGNSTV #modelling #testing #towards
- Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.