“…Theseearliereffortsusefaultinjectiontechniquetotestrobustnessofsecurityscannertools(Fonsecaetal.,2007),effectiveness ofintrusiondetectionsystems (Vignaetal.,2004),robustnessofrouterprotocolimplementation (Tal etal.,2004),effectivenessofinputvalidationroutines (Kieżunetal.,2008),capabilityofhandling malformedfiles(Ghosh&Kelly,n.d),robustnessofembedded(Fouqueetal.,2012),andutility applications (Voas,2000). Veryfewapproachesrelyondesign-levelinformationtogeneratetestcases.Salaset al( 2007) generatedOCLconstraintsfromUMLclassdiagramsandsolvethemtogeneratetestcases;while Grela et al (2015) proposed fault-injection in business processes expressed in Business Process ExecutionLanguage.Ourworkiscloselyrelatedtothetestcasegenerationmethodpresentedby Aicherniget al (2005).Theyobtainedpre-andpost-conditionspecifications,expressedthemin OCLspecificationsforatriangletypedeterminationprogram.Incontrast,wehavegeneratedOCL specificationsforPHPapplicationsrelevanttoLDAPqueryinjectionattacks.…”