Stem contradict$ (all stems)

8 papers:

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

SEFM-2010-CristiaAM #detection #framework #testing

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.

ASE-2006-SatohKU #diagrams #uml

Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.

SAS-2006-OrlovichR #analysis #memory management

Memory Leak Analysis by Contradiction (MO, RR), pp. 405–424.

SAC-2002-SujanRP #evolution

Contradictions and critical issues during system evolution (MAS, AR, AP), pp. 711–715.

HT-1997-Engebretsen #named #question

Hyper-news: Revolution or Contradiction? (ME), pp. 222–223.

ILPS-1993-YouY #logic programming #source code

Contradiction Resolving for Extended Logic Programs and Default Theories (JHY, LYY), p. 640.

SIGMOD-1988-Borgida #modelling

Modeling Class Hierarchies with Contradictions (AB), pp. 434–443.