Two-Way Traceability and Conflict Debugging for AspectLTL Programs.

Shahar Maoz Yaniv Sa'ar

Published in: LNCS Trans. Aspect Oriented Softw. Dev. (2013)

Keyphrases

hardware designs
java programs
novice programmers
life cycle
conflict resolution
program slicing
software architecture
genetic algorithm
real time
learning algorithm
relational databases
evolutionary algorithm
software engineering
computer programs
software testing
intermediate level