BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
verif (2)
nondetermin (2)
multipl (2)
modulo (1)
granni (1)

Stem angel$ (all stems)

9 papers:

FoSSaCSFoSSaCS-2015-Mamouras #hoare #logic #nondeterminism #synthesis
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (KM), pp. 25–40.
CAVCAV-2015-DasLLL #precise #verification
Angelic Verification: Precise Verification Modulo Unknowns (AD, SKL, AL, YL), pp. 324–342.
ASEASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.
ICSEICSE-2011-ChandraTBB #debugging
Angelic debugging (SC, ET, SB, RB), pp. 121–130.
POPLPOPL-2010-BodikCGKTBR #nondeterminism #programming
Programming with angelic nondeterminism (RB, SC, JG, DK, NT, SB, CR), pp. 339–352.
SEFMSEFM-2008-RuksenasCB #behaviour #game studies #modelling
Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.
CASECASE-2007-Frenger #ubiquitous
GRANNIE 2: A Ubiquitous, Protean Robotic Guardian Angel (PF), pp. 857–862.
FoSSaCSFoSSaCS-2004-GhicaM #concurrent #fine-grained #semantics
Angelic Semantics of Fine-Grained Concurrency (DRG, ASM), pp. 211–225.
RERE-2003-Becker #lifecycle #multi #requirements #traceability
Measuring Requirements Traceability from Multiple Angels at Multiple Lifecycle Entry Points (DB), p. 291.

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.