BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nachmanson:Lev

Contributed to:

CAV 20142014
SOFTVIS 20082008
FATES 20052005
FM 20052005
FATES 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.