BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
behavior (2)
test (2)
class (2)
detect (2)
program (2)

Stem contradict$ (all stems)

8 papers:

ICSEICSE-2014-HuangZTWL #android #behaviour #detection #named #user interface
AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction (JH, XZ, LT, PW, BL), pp. 1036–1046.
SEFMSEFM-2010-CristiaAM #detection #framework #testing
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.
ASEASE-2006-SatohKU #diagrams #uml
Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.
SASSAS-2006-OrlovichR #analysis #memory management
Memory Leak Analysis by Contradiction (MO, RR), pp. 405–424.
SACSAC-2002-SujanRP #evolution
Contradictions and critical issues during system evolution (MAS, AR, AP), pp. 711–715.
HTHT-1997-Engebretsen #named #question
Hyper-news: Revolution or Contradiction? (ME), pp. 222–223.
ICLPILPS-1993-YouY #logic programming #source code
Contradiction Resolving for Extended Logic Programs and Default Theories (JHY, LYY), p. 640.
SIGMODSIGMOD-1988-Borgida #modelling
Modeling Class Hierarchies with Contradictions (AB), pp. 434–443.

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.