Two-way traceability and conflict debugging for AspectLTL programs.

Shahar Maoz Yaniv Sa'ar

Published in: AOSD (2012)

Keyphrases

hardware designs
java programs
novice programmers
program slicing
life cycle
databases
software architecture
information technology
data model
conflict resolution
real time
multiscale
distributed systems
automatic programming
provably correct
programming exercises