Java tutorial
package com.crawljax.plugins.testilizer.generated.photogallery_EXND; import java.io.IOException; import java.util.ArrayList; import java.util.Arrays; import java.util.HashSet; import java.util.Set; import java.util.concurrent.TimeUnit; import org.junit.*; import static org.junit.Assert.*; import org.openqa.selenium.*; import org.openqa.selenium.firefox.FirefoxDriver; import org.openqa.selenium.firefox.FirefoxProfile; import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; import com.crawljax.forms.RandomInputValueGenerator; import com.crawljax.util.DomUtils; /* * Generated @ Wed Apr 16 20:43:32 PDT 2014 */ public class GeneratedTestCase9 { private WebDriver driver; private String url; private boolean acceptNextAlert = true; private StringBuffer verificationErrors = new StringBuffer(); private DOMElement element; private DOMElement parentElement; private ArrayList<DOMElement> childrenElements = new ArrayList<DOMElement>(); private String DOM = null; boolean getCoverageReport = false; @Before public void setUp() throws Exception { // Setting the JavaScript code coverage switch getCoverageReport = com.crawljax.plugins.testilizer.Testilizer.getCoverageReport(); if (getCoverageReport) driver = new FirefoxDriver(getProfile()); else driver = new FirefoxDriver(); url = "http://localhost:8888/phormer331/"; driver.manage().timeouts().implicitlyWait(30, TimeUnit.SECONDS); } public static FirefoxProfile getProfile() { FirefoxProfile profile = new FirefoxProfile(); profile.setPreference("network.proxy.http", "localhost"); profile.setPreference("network.proxy.http_port", 3128); profile.setPreference("network.proxy.type", 1); /* use proxy for everything, including localhost */ profile.setPreference("network.proxy.no_proxies_on", ""); return profile; } @After public void tearDown() throws Exception { if (getCoverageReport) ((JavascriptExecutor) driver).executeScript( " if (window.jscoverage_report) {return jscoverage_report('CodeCoverageReport');}"); driver.quit(); String verificationErrorString = verificationErrors.toString(); if (!"".equals(verificationErrorString)) { fail(verificationErrorString); } } /* * Test Cases */ @Test public void method9() { driver.get(url); //From state 0 to state 13 //Eventable{eventType=click, identification=text Admin Page, element=Element{node=[A: null], tag=A, text=Admin Page, attributes={href=admin.php, title=Login to the Administration Region}}, source=StateVertexImpl{id=0, name=index}, target=StateVertexImpl{id=13, name=state13}} mutateDOMTree(0); checkState0_OriginalAssertions(); checkState0_ReusedAssertions(); checkState0_GeneratedAssertions(); checkState0_LearnedAssertions(); checkState0_AllAssertions(); checkState0_RandAssertions1(); checkState0_RandAssertions2(); checkState0_RandAssertions3(); checkState0_RandAssertions4(); checkState0_RandAssertions5(); driver.findElement(By.linkText("Admin Page")).click(); //From state 13 to state 14 //Eventable{eventType=click, identification=cssSelector input.submit, element=Element{node=[INPUT: null], tag=INPUT, text=, attributes={class=submit, type=submit, value=??????Login??????}}, source=StateVertexImpl{id=13, name=state13}, target=StateVertexImpl{id=14, name=state14}} mutateDOMTree(13); checkState13_OriginalAssertions(); checkState13_ReusedAssertions(); checkState13_GeneratedAssertions(); checkState13_LearnedAssertions(); checkState13_AllAssertions(); checkState13_RandAssertions1(); checkState13_RandAssertions2(); checkState13_RandAssertions3(); checkState13_RandAssertions4(); checkState13_RandAssertions5(); driver.findElement(By.id("loginAdminPass")).clear(); driver.findElement(By.id("loginAdminPass")).sendKeys("editor"); driver.findElement(By.cssSelector("input.submit")).click(); //From state 14 to state 8 //Eventable{eventType=click, identification=text Manage Categories, element=Element{node=[A: null], tag=A, text=Manage Categories, attributes={href=?page=categories}}, source=StateVertexImpl{id=14, name=state14}, target=StateVertexImpl{id=8, name=state8}} mutateDOMTree(14); checkState14_OriginalAssertions(); checkState14_ReusedAssertions(); checkState14_GeneratedAssertions(); checkState14_LearnedAssertions(); checkState14_AllAssertions(); checkState14_RandAssertions1(); checkState14_RandAssertions2(); checkState14_RandAssertions3(); checkState14_RandAssertions4(); checkState14_RandAssertions5(); driver.findElement(By.linkText("Manage Categories")).click(); //From state 8 to state 11 //Eventable{eventType=click, identification=cssSelector input.submit, element=Element{node=[INPUT: null], tag=INPUT, text=, attributes={class=submit, type=submit, value=??????Add Category??????}}, source=StateVertexImpl{id=8, name=state8}, target=StateVertexImpl{id=11, name=state11}} mutateDOMTree(8); checkState8_OriginalAssertions(); checkState8_ReusedAssertions(); checkState8_GeneratedAssertions(); checkState8_LearnedAssertions(); checkState8_AllAssertions(); checkState8_RandAssertions1(); checkState8_RandAssertions2(); checkState8_RandAssertions3(); checkState8_RandAssertions4(); checkState8_RandAssertions5(); driver.findElement(By.name("desc")).clear(); driver.findElement(By.name("desc")).sendKeys("contains photos of all the flowers !"); driver.findElement(By.id("name")).clear(); driver.findElement(By.id("name")).sendKeys("flowers"); driver.findElement(By.cssSelector("input.submit")).click(); //From state 11 to state 19 //Eventable{eventType=click, identification=xpath (//a[contains(text(),'Delete / Clear')])[2], element=Element{node=[A: null], tag=A, text=Delete / Clear, attributes={href=?page=categories&cmd=doDel&cid=2}}, source=StateVertexImpl{id=11, name=state11}, target=StateVertexImpl{id=19, name=state19}} mutateDOMTree(11); checkState11_OriginalAssertions(); checkState11_ReusedAssertions(); checkState11_GeneratedAssertions(); checkState11_LearnedAssertions(); checkState11_AllAssertions(); checkState11_RandAssertions1(); checkState11_RandAssertions2(); checkState11_RandAssertions3(); checkState11_RandAssertions4(); checkState11_RandAssertions5(); driver.findElement(By.xpath("(//a[contains(text(),'Delete / Clear')])[2]")).click(); //From state 19 to state 21 //Eventable{eventType=click, identification=cssSelector input.submit, element=Element{node=[INPUT: null], tag=INPUT, text=, attributes={class=submit, type=submit, value=??????Delete it!??????}}, source=StateVertexImpl{id=19, name=state19}, target=StateVertexImpl{id=21, name=state21}} mutateDOMTree(19); checkState19_OriginalAssertions(); checkState19_ReusedAssertions(); checkState19_GeneratedAssertions(); checkState19_LearnedAssertions(); checkState19_AllAssertions(); checkState19_RandAssertions1(); checkState19_RandAssertions2(); checkState19_RandAssertions3(); checkState19_RandAssertions4(); checkState19_RandAssertions5(); driver.findElement(By.cssSelector("input.submit")).click(); //From state 21 to state 22 //Eventable{eventType=click, identification=cssSelector a[title="Log Out"], element=Element{node=[A: null], tag=A, text=, attributes={href=?page=logout, title=Log Out}}, source=StateVertexImpl{id=21, name=state21}, target=StateVertexImpl{id=22, name=state22}} mutateDOMTree(21); checkState21_OriginalAssertions(); checkState21_ReusedAssertions(); checkState21_GeneratedAssertions(); checkState21_LearnedAssertions(); checkState21_AllAssertions(); checkState21_RandAssertions1(); checkState21_RandAssertions2(); checkState21_RandAssertions3(); checkState21_RandAssertions4(); checkState21_RandAssertions5(); driver.findElement(By.cssSelector("a[title=\"Log Out\"]")).click(); //Sink node at state 22 mutateDOMTree(22); checkState22_OriginalAssertions(); checkState22_ReusedAssertions(); checkState22_GeneratedAssertions(); checkState22_LearnedAssertions(); checkState22_AllAssertions(); checkState22_RandAssertions1(); checkState22_RandAssertions2(); checkState22_RandAssertions3(); checkState22_RandAssertions4(); checkState22_RandAssertions5(); } public void checkState0_OriginalAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion } public void checkState0_ReusedAssertions() { } public void checkState0_GeneratedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"sidecol\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"maincol\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "1", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "2", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "2", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"photoBoxes\"", "style=\"display: block;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"wholePhoto\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"photoBox\"")))); childrenElements.add(new DOMElement("DIV", "PhotoNotesNoDescripton.", new ArrayList<String>(Arrays.asList("class=\"photoBox\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"photoBox\"", "style=\"line-height: 150%\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState0_LearnedAssertions() { element = new DOMElement("DIV", "StoriesPhotos[0]DefaultStory[6]", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements .add(new DOMElement("DIV", "Photos[0]", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "DefaultStory[6]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"reddot\"")))); childrenElements.add(new DOMElement("#text", "Poweredby", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "RSS", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "100_0794November9tho 12", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("CENTER", "100_0794November9tho 12", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "100_0758November9tho 12", new ArrayList<String>(Arrays.asList("class=\"thumbNameLine\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=1\"", "title=\"100_0758: 25 KB, 3681 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "100_0758", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState0_AllAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"sidecol\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"maincol\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original element = new DOMElement("DIV", "StoriesPhotos[0]DefaultStory[6]", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements .add(new DOMElement("DIV", "Photos[0]", new ArrayList<String>(Arrays.asList("class=\"item\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "DefaultStory[6]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "EtcEmailRSSAdminPagePoweredbyPhormer3.31", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"reddot\"")))); childrenElements.add(new DOMElement("#text", "Poweredby", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "RSS", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState0_RandAssertions1() { element = new DOMElement("DIV", "100_0794November9tho 12", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("CENTER", "100_0794November9tho 12", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[4]/DIV/SPAN[2]/A[[href=\".?trn=10#tr\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("CENTER", "100_0760November9tho 12", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\".?p=3\"", "title=\"100_0760: 26 KB, 1480 hits and rated 0 by 0 person\"")))); childrenElements .add(new DOMElement("A", "100_0760November9tho 12", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "100_0773November9tho 12", new ArrayList<String>(Arrays.asList("class=\"thumbNameLine\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=4\"", "title=\"100_0773: 62 KB, 1367 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "100_0773", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("CENTER", "100_0794November9tho 12", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "title=\"100_0794: 91 KB, 2101 hits and rated 0 by 0 person\"")))); childrenElements .add(new DOMElement("A", "100_0794November9tho 12", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions2() { element = new DOMElement("DIV", "flowers[0]", new ArrayList<String>(Arrays.asList("class=\"item\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"categeach\"")))); childrenElements.add(new DOMElement("SPAN", "flowers[0]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[2]/DIV[2]/CENTER/A/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"sidecolinner\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"")))); childrenElements.add( new DOMElement("DIV", "Statistics", new ArrayList<String>(Arrays.asList("class=\"submenu\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Phorm", new ArrayList<String>( Arrays.asList("href=\"http://p.horm.org\"", "target=\"_blank\"", "title=\"Another Phormation\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Phorm", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "100_0773November9tho 12", new ArrayList<String>( Arrays.asList("height=\"75px\"", "src=\"images/000004_dzeck_3.jpg\"", "width=\"75px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=4\"", "title=\"100_0773: 62 KB, 1367 hits and rated 0 by 0 person\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions3() { element = new DOMElement("IMG", "100_0760November9tho 12", new ArrayList<String>( Arrays.asList("height=\"75px\"", "src=\"images/000003_ncupw_3.jpg\"", "width=\"75px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=3\"", "title=\"100_0760: 26 KB, 1480 hits and rated 0 by 0 person\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[2]/DIV[6]/CENTER[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "100_0760November9tho 12", new ArrayList<String>(Arrays.asList("class=\"thumbNameLine\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=3\"", "title=\"100_0760: 26 KB, 1480 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "100_0760", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "100_0772November9tho 12", new ArrayList<String>(Arrays.asList("class=\"thumbDate\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=5\"", "title=\"100_0772: 41 KB, 1341 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "November9tho 12", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"width: 100%;\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"footer\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState0_RandAssertions4() { element = new DOMElement("DIV", "2monthsagoNovember9tho 12", new ArrayList<String>(Arrays.asList("class=\"thumbDate\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=3\"", "title=\"100_0760: 26 KB, 1480 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "November9tho 12", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"partmain\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"leaveReply\"")))); childrenElements.add( new DOMElement("SPAN", "[SlideShow]", new ArrayList<String>(Arrays.asList("class=\"reddot\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("#text", "RecentlyAddedPhotos", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("SPAN", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "11monthsagoNovember9tho 12", new ArrayList<String>(Arrays.asList("class=\"thumbDate\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=1\"", "title=\"100_0758: 25 KB, 3681 hits and rated 0 by 0 person\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "November9tho 12", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/DIV/DIV[class=\"topPhormAbout\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV/DIV/DIV[4]/DIV[5]/DIV[class=\"item\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState0_RandAssertions5() { element = new DOMElement("SPAN", "LastUpdate:12monthsago", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"item\"", "style=\"line-height: 130%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "MyPhotoGallery...containsmyphotos!", new ArrayList<String>(Arrays.asList("class=\"topPhorm\""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"headerDot\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\".\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"topPhormAbout\"")))); childrenElements.add(new DOMElement("A", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("DIV", "...containsmyphotos!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "100_0758November9tho 12", new ArrayList<String>( Arrays.asList("class=\"aThumb\"", "onmouseout=\"javascript: DarkenIt(this);\"", "onmouseover=\"javascript: LightenIt(this);\"", "style=\"-moz-opacity:0.6;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"submenu\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements .add(new DOMElement("CENTER", "100_0758November9tho 12", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/DIV[2]/DIV/DIV/DIV[4]/DIV[2]/DIV[5]/CENTER/A/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("href=\".?trn=100#tr\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "100", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState13_OriginalAssertions() { } public void checkState13_ReusedAssertions() { } public void checkState13_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny[id=\"Granny\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch } public void checkState13_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"method\"", "style=\"text-align: left; background: #E8F0F8\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "UpdateYourPhormer(?)", new ArrayList<String>( Arrays.asList("style=\"text-align: center; font-size: 1.0em; margin: 0px 0px 8px; \"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState13_AllAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"method\"", "style=\"text-align: left; background: #E8F0F8\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "UpdateYourPhormer(?)", new ArrayList<String>( Arrays.asList("style=\"text-align: center; font-size: 1.0em; margin: 0px 0px 8px; \"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState13_RandAssertions1() { if (!(isElementPresent(By.xpath( "/HTML/BODY/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[2]/DIV[@class=\"method\" and @style=\"text-align: left\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "[Dismiss]", new ArrayList<String>(Arrays.asList("onclick=\"HideHelp();\""))); parentElement = new DOMElement("LEGEND", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SCRIPT", "LoginPageofMyPhotoGallery", new ArrayList<String>(Arrays.asList("language=\"javascript\"", "src=\"files/adminfiles/help.js\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "UpdateYourPhormer(?)", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"name\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "(", new ArrayList<String>( Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Update Message', event, 'en');\"", "title=\"Help on \"Update Message', eve\"\"")))); childrenElements.add(new DOMElement("A", "?", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", ")", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState13_RandAssertions2() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"back2mainR\"")))); childrenElements.add(new DOMElement("DIV", "ViewGallery>>", new ArrayList<String>(Arrays.asList("class=\"clearer\"", "style=\"margin-top: 20px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"part\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Phormer", new ArrayList<String>(Arrays.asList("href=\"http://p.horm.org/er\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Phormer", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TITLE", "LoginPageofMyPhotoGallery", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "LoginPageofMyPhotoGallery", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState13_RandAssertions3() { element = new DOMElement("A", "PHP", new ArrayList<String>(Arrays.asList("href=\"http://php.net\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "PHP", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "ViewGallery>>", new ArrayList<String>(Arrays.asList("href=\".\"", "target=\"_blank\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"back2mainR\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "ViewGallery>>", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxLegend\""))); parentElement = new DOMElement("LEGEND", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/DIV[3]/DIV[[class=\"inside\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("width=\"285px\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState13_RandAssertions4() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV/SPAN[class=\"VeryTitle\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "LogintoYourPhormer", new ArrayList<String>(Arrays.asList("href=\"?\"", "style=\"color: black\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"name\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "LogintoYourPhormer", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\".\"")))); childrenElements.add(new DOMElement("A", "ThisPhotoGallery", new ArrayList<String>(Arrays.asList("href=\"http://p.horm.org/er\"")))); childrenElements.add(new DOMElement("#text", "ispoweredby", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("A", "Phormer", new ArrayList<String>(Arrays.asList("href=\"http://php.net\"")))); childrenElements.add(new DOMElement("#text", ",", new ArrayList<String>(Arrays.asList("href=\"http://gnu.org/licenses/gpl.txt\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "asimple", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "PHP", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "PhotoGalleryManager,under", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "GPL", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", ".", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SCRIPT", "LoginPageofMyPhotoGallery", new ArrayList<String>(Arrays.asList("language=\"javascript\"", "src=\"files/adminfiles/admin.js\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState13_RandAssertions5() { element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "ViewGallery>>", new ArrayList<String>(Arrays.asList("class=\"back2mainR\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "ViewGallery>>", new ArrayList<String>(Arrays.asList("href=\".\"", "target=\"_blank\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/DIV[[@class=\"clearer\" and @style=\"margin-top: 20px;\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/TABLE/TBODY/TR[4]/TD[[width=\"285px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\"")))); childrenElements.add(new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState14_OriginalAssertions() { } public void checkState14_ReusedAssertions() { } public void checkState14_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny[id=\"Granny\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.cssSelector("div.method[class=\"method\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "1", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "2", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "2", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState14_LearnedAssertions() { element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "ManageWorks:", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"name\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\".\"", "style=\"color: black\"", "target=\"_blank\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "(?)", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "(", new ArrayList<String>( Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Manage Drafts', event, 'en');\"", "title=\"Help on \"Manage Drafts', eve\"\"")))); childrenElements.add(new DOMElement("A", "?", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", ")", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"shortCuts\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "::::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState14_AllAssertions() { element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "ManageWorks:", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"name\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\".\"", "style=\"color: black\"", "target=\"_blank\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "(?)", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "(", new ArrayList<String>( Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Manage Drafts', event, 'en');\"", "title=\"Help on \"Manage Drafts', eve\"\"")))); childrenElements.add(new DOMElement("A", "?", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", ")", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"shortCuts\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "::::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState14_RandAssertions1() { element = new DOMElement("A", "ManagePhotos", new ArrayList<String>(Arrays.asList("href=\"?page=photos\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_photos.gif\"", "width=\"20px\"")))); childrenElements.add(new DOMElement("#text", "ManagePhotos", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/TABLE/TBODY/TR[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "ManageCategories", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_categs.gif\"", "width=\"20px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("class=\"dotbgful\"", "colspan=\"2\"", "width=\"295px\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\"")))); childrenElements.add(new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState14_RandAssertions2() { element = new DOMElement("LINK", "AdministrationRegionofMyPhotoGallery", new ArrayList<String>( Arrays.asList("href=\"files/adminfiles/admin.css\"", "rel=\"stylesheet\"", "type=\"text/css\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SCRIPT", "AdministrationRegionofMyPhotoGallery", new ArrayList<String>(Arrays.asList("language=\"javascript\"", "src=\"files/adminfiles/admin.js\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/TABLE/TBODY/TR/TD[[@height=\"1px\" and @width=\"10px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "(?)", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "(", new ArrayList<String>(Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Adjust Preferences', event, 'en');\"", "title=\"Help on \"Adjust Preferences', eve\"\"")))); childrenElements.add(new DOMElement("A", "?", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", ")", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState14_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/A[[@href=\"?page=editxml\" and @title=\"XML Editor\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("style=\"margin-top: 6px;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/TABLE/TBODY/TR/TD[2]/DIV/SPAN[5]/A[@class=\"q\" and @@onclick=\"ShowHelp('Log Out', event, 'en');\" and @title=\"Help on \"Log Out', eve\"\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "PHP", new ArrayList<String>(Arrays.asList("href=\"http://php.net\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "PHP", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/A[7]/IMG[@class=\"logo\" and @@height=\"20px\" and @@src=\"files/adminfiles/logo_configs.gif\" and @width=\"20px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState14_RandAssertions4() { element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_preferences.gif\"", "width=\"20px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"?page=basis\"", "title=\"Adjust Preferences\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "GPL", new ArrayList<String>(Arrays.asList("href=\"http://gnu.org/licenses/gpl.txt\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "GPL", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/A[8]/IMG[@class=\"logo\" and @@height=\"20px\" and @@src=\"files/adminfiles/logo_xml.gif\" and @width=\"20px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxInner\""))); parentElement = new DOMElement("FIELDSET", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SCRIPT", "AdministrationRegionofMyPhotoGallery", new ArrayList<String>(Arrays.asList("language=\"javascript\"", "src=\"files/adminfiles/skeleton.js\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState14_RandAssertions5() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[id=\"headerBar\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[[class=\"shortCuts\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "AdjustPreferences", new ArrayList<String>(Arrays.asList("href=\"?page=basis\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_preferences.gif\"", "width=\"20px\"")))); childrenElements .add(new DOMElement("#text", "AdjustPreferences", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("valign=\"top\"", "width=\"49%\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"method\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/TABLE/TBODY/TR/TD[2]/DIV/SPAN[3]/A[@class=\"q\" and @@onclick=\"ShowHelp('Advanced Configurations', event, 'en');\" and @title=\"Help on \"Advanced Configurations', eve\"\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState8_OriginalAssertions() { } public void checkState8_ReusedAssertions() { } public void checkState8_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny[id=\"Granny\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.cssSelector("div.method[class=\"method\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "1", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "2", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "2", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState8_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "CurrentCategoriesList[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=1#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=1\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"shortCuts\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "::::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=4#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=4\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState8_AllAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "CurrentCategoriesList[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=1#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=1\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"shortCuts\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "::::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=4#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=4\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState8_RandAssertions1() { element = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\"", "style=\"margin-top: 25px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("action=\"?page=categories&cmd=add\"", "method=\"post\"", "onsubmit=\"javascript:return (checkHasPass());\"")))); childrenElements.add(new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "Privacy(?):PublicPassworded", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"margin-left: 5px\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("for=\"public\"")))); childrenElements.add(new DOMElement("LABEL", "Public", new ArrayList<String>(Arrays.asList("style=\"margin-left: 42px\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("for=\"passworded\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("LABEL", "Passworded", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("colspan=\"2\"", "style=\"text-align: center\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Editit::Delete/Clear", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=1\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState8_RandAssertions2() { element = new DOMElement("A", "Editit::Delete/Clear", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=4#add\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Editit", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Editit::Delete/Clear", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=3#add\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Editit", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("class=\"dotbgful\"", "colspan=\"2\"", "width=\"295px\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("class=\"dotbgful\"", "height=\"55px\"", "width=\"10px\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "::::", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"shortCuts\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState8_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[2]/DIV/DIV/SPAN[[class=\"dot\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "AddaNewCategoryAddaNewCategory", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "AddaNewCategory", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 10px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\"#add\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "AddaNewCategory", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("OPTION", "2:flowers", new ArrayList<String>(Arrays.asList("value=\"2\""))); parentElement = new DOMElement("SELECT", "", new ArrayList<String>(Arrays.asList("class=\"select\"", "name=\"sub\"", "type=\"text\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "2:flowers", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LINK", "ManageCategoriesofMyPhotoGallery", new ArrayList<String>( Arrays.asList("href=\"files/adminfiles/admin.css\"", "rel=\"stylesheet\"", "type=\"text/css\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState8_RandAssertions4() { element = new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("autocomplete=\"off\"", "class=\"text\"", "id=\"password\"", "name=\"pass\"", "size=\"20\"", "type=\"text\"", "value=\"\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("LEGEND", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxInner\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("INPUT", "Public", new ArrayList<String>(Arrays.asList("checked=\"checked\"", "class=\"radio\"", "id=\"public\"", "name=\"passRadio\"", "onclick=\"javascript:checkPrivacyRow();\"", "type=\"radio\"", "value=\"\""))); parentElement = new DOMElement("LABEL", "", new ArrayList<String>(Arrays.asList("for=\"public\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "AddaNewCategoryAddaNewCategory", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "AddaNewCategory", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 10px;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\"#add\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "AddaNewCategory", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "CurrentCategoriesList[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState8_RandAssertions5() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/CENTER/FORM/TABLE/TBODY/TR[6]/TD[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add( new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\"./?c=5\"", "name=\"5\"")))); childrenElements .add(new DOMElement("A", "flowers", new ArrayList<String>(Arrays.asList("class=\"categinfo\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"categdesc\"")))); childrenElements .add(new DOMElement("SPAN", "[0Photos,Public&Listed]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "containsphotosofalltheflowers!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("href=\"admin.php?page=categories&n=100\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\"", "style=\"color: #666\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "100", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TITLE", "ManageCategoriesofMyPhotoGallery", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "ManageCategoriesofMyPhotoGallery", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxInner\""))); parentElement = new DOMElement("FIELDSET", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState11_OriginalAssertions() { if (!(driver.findElement(By.cssSelector("div.method")).getText() .matches("^[\\s\\S]*Category \"flowers\" added succesfully![\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion if (!(driver.findElement(By.cssSelector("BODY")).getText() .matches("^[\\s\\S]*Category \"flowers\" added succesfully![\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion } public void checkState11_ReusedAssertions() { } public void checkState11_GeneratedAssertions() { element = new DOMElement("DIV", "Category\"flowers\"addedsuccesfully!", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("DIV", "Category\"flowers\"addedsuccesfully!", new ArrayList<String>(Arrays.asList("class=\"note_valid\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original if (!(isElementPresent(By.cssSelector("div#Granny[id=\"Granny\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.cssSelector("div.method[class=\"method\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "1", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState11_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "CurrentCategoriesList[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=1#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=1\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"shortCuts\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "::::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=4#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=4\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState11_AllAssertions() { if (!(driver.findElement(By.cssSelector("div.method")).getText() .matches("^[\\s\\S]*Category \"flowers\" added succesfully![\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion if (!(driver.findElement(By.cssSelector("BODY")).getText() .matches("^[\\s\\S]*Category \"flowers\" added succesfully![\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion element = new DOMElement("DIV", "Category\"flowers\"addedsuccesfully!", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("DIV", "Category\"flowers\"addedsuccesfully!", new ArrayList<String>(Arrays.asList("class=\"note_valid\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // generated assertion in case of AEP for Original element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "CurrentCategoriesList[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=1#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=1\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState11_RandAssertions1() { element = new DOMElement("A", "(?)", new ArrayList<String>( Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Container Name', event, 'en');\"", "title=\"Help on \"Container Name', eve\"\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "?", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("href=\"admin.php?page=categories&n=20\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\"", "style=\"color: #666\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "20", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("action=\"?page=categories&cmd=add\"", "method=\"post\"", "onsubmit=\"javascript:return (checkHasPass());\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("name=\"cid\"", "type=\"hidden\"", "value=\"7\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("cellpadding=\"5\"", "style=\"position: relative; text-align: left; \"", "width=\"70%\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_comments.gif\"", "width=\"20px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"?page=comments\"", "title=\"Manage Comments\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[4]/CENTER/FORM/TABLE/TBODY/TR[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState11_RandAssertions2() { if (!(isElementPresent(By.xpath( "/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[4]/CENTER/FORM/TABLE/TBODY/TR[6]/TD[2]/SELECT/OPTION[@selected=\"selected\" and @value=\"-1\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\""))); childrenElements.clear(); childrenElements.add(new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"dot\"")))); childrenElements.add( new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("href=\"./?c=3\"", "name=\"3\"")))); childrenElements .add(new DOMElement("A", "flowers", new ArrayList<String>(Arrays.asList("class=\"categinfo\"")))); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"categdesc\"")))); childrenElements .add(new DOMElement("SPAN", "[0Photos,Public&Listed]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("DIV", "containsphotosofalltheflowers!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/CENTER/FORM/TABLE/TBODY/TR/TD/SPAN[style=\"color: #789\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV/SPAN/A[@href=\".\" and @@style=\"color: black\" and @target=\"_blank\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState11_RandAssertions3() { element = new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("autocomplete=\"off\"", "class=\"text\"", "id=\"password\"", "name=\"pass\"", "size=\"20\"", "type=\"text\"", "value=\"\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[class=\"title\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Description(?):", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TEXTAREA", "", new ArrayList<String>(Arrays.asList("cols=\"37\"", "name=\"desc\"", "rows=\"5\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("href=\"admin.php?page=categories&n=10\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\"", "style=\"color: #666\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "10", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"margin-left: 10px\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"select\"", "name=\"sub\"", "type=\"text\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("SELECT", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState11_RandAssertions4() { element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[class=\"method\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/CENTER/FORM/TABLE/TBODY/TR[4]/TD/SPAN[style=\"color: #789\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SCRIPT", "ManageCategoriesofMyPhotoGallery", new ArrayList<String>(Arrays.asList("language=\"javascript\"", "src=\"files/adminfiles/admin.js\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState11_RandAssertions5() { element = new DOMElement("TR", "Privacy(?):PublicPassworded", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "Privacy(?):", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TD", "PublicPassworded", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("href=\"admin.php?page=categories&n=20\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"thumbcntarr\"", "style=\"color: #666\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "20", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "AddanewCategory", new ArrayList<String>(Arrays.asList("class=\"name\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\"", "style=\"margin-top: 25px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("A", "AddanewCategory", new ArrayList<String>(Arrays.asList("href=\"?page=categories\"", "style=\"color: black\"")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=5#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=5\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\"", "style=\"margin-top: 25px;\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "AddanewCategory", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState19_OriginalAssertions() { if (!(driver.findElement(By.cssSelector("BODY")).getText().matches( "^[\\s\\S]*Clears Category flowers of all its own \\(direct\\) photos, nothing will be removed[\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion } public void checkState19_ReusedAssertions() { } public void checkState19_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny[id=\"Granny\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.cssSelector("div.method[class=\"method\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "1", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "2", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "2", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState19_LearnedAssertions() { element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 20px;\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("action=\"?page=categories&cid=1&cmd=del\"", "method=\"post\"", "onsubmit=\"javascript:return confirmDelete('Default Category');\""))); childrenElements.clear(); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // predicted region assertion element = new DOMElement("SPAN", "::::", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"shortCuts\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState19_AllAssertions() { if (!(driver.findElement(By.cssSelector("BODY")).getText().matches( "^[\\s\\S]*Clears Category flowers of all its own \\(direct\\) photos, nothing will be removed[\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 20px;\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("action=\"?page=categories&cid=1&cmd=del\"", "method=\"post\"", "onsubmit=\"javascript:return confirmDelete('Default Category');\""))); childrenElements.clear(); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // predicted region assertion } public void checkState19_RandAssertions1() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/DIV/DIV[5]/A[@href=\"./?c=5\" and @name=\"5\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[2]/DIV/DIV[5]/SPAN/A[href=\"?page=categories&cmd=doEdt&cid=5#add\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "(?)", new ArrayList<String>( Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Container Name', event, 'en');\"", "title=\"Help on \"Container Name', eve\"\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "?", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/A[3]/IMG[@class=\"logo\" and @@height=\"20px\" and @@src=\"files/adminfiles/logo_categs.gif\" and @width=\"20px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState19_RandAssertions2() { element = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("action=\"?page=categories&cmd=add\"", "method=\"post\"", "onsubmit=\"javascript:return (checkHasPass());\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("name=\"cid\"", "type=\"hidden\"", "value=\"6\"")))); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("cellpadding=\"5\"", "style=\"position: relative; text-align: left; \"", "width=\"70%\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TABLE", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SELECT", "", new ArrayList<String>(Arrays.asList("class=\"select\"", "name=\"sub\"", "type=\"text\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("selected=\"selected\"", "value=\"-1\"")))); childrenElements.add( new DOMElement("OPTION", "NoInheritance", new ArrayList<String>(Arrays.asList("value=\"1\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"2\"")))); childrenElements.add( new DOMElement("OPTION", "1:DefaultCategory", new ArrayList<String>(Arrays.asList("value=\"3\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"4\"")))); childrenElements .add(new DOMElement("OPTION", "2:flowers", new ArrayList<String>(Arrays.asList("value=\"5\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("value=\"6\"")))); childrenElements.add(new DOMElement("OPTION", "3:flowers", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "4:flowers", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "5:flowers", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("OPTION", "6:flowers", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[2]/DIV/DIV[3]/SPAN/A[[href=\"?page=categories&cmd=doDel&cid=3\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "containsphotosofalltheflowers!", new ArrayList<String>(Arrays.asList("class=\"categdesc\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "containsphotosofalltheflowers!", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "AddanewCategory", new ArrayList<String>(Arrays.asList("href=\"?page=categories\"", "style=\"color: black\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"name\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "AddanewCategory", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState19_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/DIV/DIV/A[@href=\"./?c=1\" and @name=\"1\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("INPUT", "", new ArrayList<String>( Arrays.asList("class=\"reset\"", "type=\"Reset\"", "value=\"??????Reset Changes??????\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("colspan=\"2\"", "style=\"text-align: center\""))); childrenElements.clear(); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "(?)", new ArrayList<String>( Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Container Inheritance', event, 'en');\"", "title=\"Help on \"Container Inheritance', eve\"\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "?", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "(?)", new ArrayList<String>( Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Container Visibility', event, 'en');\"", "title=\"Help on \"Container Visibility', eve\"\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "?", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState19_RandAssertions4() { element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("action=\"?page=categories&cid=1&cmd=del\"", "method=\"post\"", "onsubmit=\"javascript:return confirmDelete('Default Category');\""))); childrenElements.clear(); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"title\"")))); childrenElements.add(new DOMElement("DIV", "ManageCategories(?):", new ArrayList<String>(Arrays.asList("class=\"inside\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[4]/CENTER/FORM/TABLE/TBODY/TR[8]/TD/INPUT[[@class=\"reset\" and @@type=\"Reset\" and @value=\"??????Reset Changes??????\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[4]/CENTER/FORM/TABLE/TBODY/TR[3]/TD/SPAN[style=\"color: #789\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState19_RandAssertions5() { element = new DOMElement("DIV", "ManageCategories(?):", new ArrayList<String>(Arrays.asList("class=\"title\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories\"", "style=\"color: white\"")))); childrenElements .add(new DOMElement("A", "ManageCategories(", new ArrayList<String>(Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Container Management', event, 'en');\"", "title=\"Help on \"Container Management', eve\"\"")))); childrenElements.add(new DOMElement("A", "?", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "):", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[2]/SPAN[class=\"name\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV/DIV/FORM/TABLE/TBODY/TR[4]/TD[[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/CENTER/FORM/TABLE/TBODY/TR[8]/TD/SPAN[style=\"padding-left: 20px;\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "Editit::Delete/Clear", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=3#add\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Editit", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState21_OriginalAssertions() { if (!(closeAlertAndGetItsText().matches("^Are you sure you want to delete [\\s\\S]*$"))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // original assertion } public void checkState21_ReusedAssertions() { } public void checkState21_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny[id=\"Granny\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch if (!(isElementPresent(By.cssSelector("div.method[class=\"method\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "1", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "2", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "2", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState21_LearnedAssertions() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "CurrentCategoriesList[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=1#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=1\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"shortCuts\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "::::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=4#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=4\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState21_AllAssertions() { // if(!(closeAlertAndGetItsText().matches("^Are you sure you want to delete [\\s\\S]*$"))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // original assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"name\"")))); childrenElements.add(new DOMElement("SPAN", "CurrentCategoriesList[5][10][20][50][100]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=1#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=1\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("id=\"Granny\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("id=\"headerBar\"")))); childrenElements.add(new DOMElement("DIV", "MyPhotoGalleryAdministrationRegion", new ArrayList<String>(Arrays.asList("class=\"shortCuts\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "::::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#comment", "Granny", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState21_RandAssertions1() { element = new DOMElement("A", "Editit::Delete/Clear", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=5\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "DeleteCategoryDefaultCategory", new ArrayList<String>(Arrays.asList("href=\".?c=1\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"name\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "CategoryDefaultCategory", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("class=\"dotbgful\"", "height=\"55px\"", "width=\"10px\""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("LABEL", "ClearTheCategory:", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("width=\"25%\""))); childrenElements.clear(); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("checked=\"checked\"", "class=\"radio\"", "name=\"howto\"", "type=\"radio\"", "value=\"empty\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("B", "ClearTheCategory:", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("INPUT", "DeleteOnlyCategory:", new ArrayList<String>( Arrays.asList("class=\"radio\"", "name=\"howto\"", "type=\"radio\"", "value=\"justc\""))); parentElement = new DOMElement("LABEL", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState21_RandAssertions2() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[4]/CENTER/FORM/TABLE/TBODY/TR[6]/TD[2]/SELECT/OPTION[[value=\"1\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("A", "flowers", new ArrayList<String>(Arrays.asList("href=\"./?c=4\"", "name=\"4\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "flowers", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"padding-left: 30px\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"method\""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add( new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "Privacy(?):", new ArrayList<String>(Arrays.asList("style=\"color: #789\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "(", new ArrayList<String>(Arrays.asList("class=\"q\"", "onclick=\"ShowHelp('Container Privacy', event, 'en');\"", "title=\"Help on \"Container Privacy', eve\"\"")))); childrenElements.add(new DOMElement("A", "?", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", ")", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TD", "Visibility(?):ListedNotListed", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"margin-left: 5px\"")))); childrenElements.add( new DOMElement("LABEL", "Listed", new ArrayList<String>(Arrays.asList("for=\"listRadioYe\"")))); childrenElements.add( new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"margin-left: 42px\"")))); childrenElements .add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("for=\"listRadioNo\"")))); childrenElements.add(new DOMElement("LABEL", "NotListed", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState21_RandAssertions3() { // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/DIV/DIV[2]/SPAN/A[href=\"?page=categories&cmd=doEdt&cid=2#add\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/TABLE/TBODY/TR/TD/DIV/FIELDSET/LEGEND[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_comments.gif\"", "width=\"20px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"?page=comments\"", "title=\"Manage Comments\""))); childrenElements.clear(); if (!(isElementRegionFullPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"dot\""))); parentElement = new DOMElement("FORM", "", new ArrayList<String>(Arrays.asList("action=\"?page=categories&cid=1&cmd=del\"", "method=\"post\"", "onsubmit=\"javascript:return confirmDelete('Default Category');\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Name(?):", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("INPUT", "", new ArrayList<String>(Arrays.asList("autocomplete=\"off\"", "class=\"text\"", "id=\"name\"", "name=\"name\"", "size=\"32\"", "type=\"text\"", "value=\"\"")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState21_RandAssertions4() { element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("INPUT", "DeleteOnlyCategory:", new ArrayList<String>( Arrays.asList("class=\"radio\"", "name=\"howto\"", "type=\"radio\"", "value=\"justc\""))); parentElement = new DOMElement("LABEL", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); // if(!(isElementRegionTagAttPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SCRIPT", "ManageCategoriesofMyPhotoGallery", new ArrayList<String>(Arrays.asList("language=\"javascript\"", "src=\"files/adminfiles/help.js\"", "type=\"text/javascript\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/A[4]/IMG[@class=\"logo\" and @@height=\"20px\" and @@src=\"files/adminfiles/logo_stories.gif\" and @width=\"20px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/DIV[3]/SPAN/SPAN/A[[href=\"admin.php?page=categories&n=10\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState21_RandAssertions5() { element = new DOMElement("A", "::::", new ArrayList<String>(Arrays.asList("href=\"?page=drafts\"", "title=\"Manage Drafts\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"shortCuts\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_drafts.gif\"", "width=\"20px\"")))); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/A[8]/IMG[@class=\"logo\" and @@height=\"20px\" and @@src=\"files/adminfiles/logo_xml.gif\" and @width=\"20px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("SPAN", "Editit::Delete/Clear", new ArrayList<String>( Arrays.asList("style=\"color: #333; position: absolute; top: 0px; right: 80px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("style=\"position: relative;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doEdt&cid=4#add\"")))); childrenElements.add(new DOMElement("A", "Editit", new ArrayList<String>(Arrays.asList("href=\"?page=categories&cmd=doDel&cid=4\"")))); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("A", "Delete/Clear", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[[class=\"inside\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TD", "Privacy(?):PublicPassworded", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TR", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add( new DOMElement("#text", "Privacy", new ArrayList<String>(Arrays.asList("style=\"color: #789\"")))); childrenElements.add(new DOMElement("SPAN", "(?)", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", ":", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState22_OriginalAssertions() { } public void checkState22_ReusedAssertions() { } public void checkState22_GeneratedAssertions() { if (!(isElementPresent(By.cssSelector("div#Granny[id=\"Granny\"]")))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of ElementTagAttMatch element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("id=\"ss_photo\"", "onload=\"javscript:ss_loaddone();\"", "src=\"images/000006_rryky_0.jpg\""))); parentElement = new DOMElement("A", "", new ArrayList<String>( Arrays.asList("href=\".?p=6\"", "id=\"ss_link2\"", "style=\"display:inline;\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "1", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "1", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "2", new ArrayList<String>(Arrays.asList("id=\"ss_n\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"titlepart\"", "style=\"letter-spacing: 2px; padding-bottom: 1em; margin-bottom: 0px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "2", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch element = new DOMElement("SPAN", "Yourratingsaved!", new ArrayList<String>(Arrays.asList("id=\"rateStatus\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Yourratingsaved!", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // generated assertion in case of RegionTagMatch } public void checkState22_LearnedAssertions() { element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"note_valid\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Feelfreetoback,anytimeyouwished!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "I'mwaitingforyoutorephormme,again!;)", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "PS.Backupcaught!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "::::", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"shortCuts\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState22_AllAssertions() { element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"note_valid\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Feelfreetoback,anytimeyouwished!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "I'mwaitingforyoutorephormme,again!;)", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "PS.Backupcaught!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "MyPhotoGallery", new ArrayList<String>(Arrays.asList("class=\"topHeadAround\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"VeryTitle\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("TABLE", "[Dismiss]", new ArrayList<String>(Arrays.asList("cellpadding=\"0\"", "cellspacing=\"0\"", "id=\"helpBox\"", "ondblclick=\"HideHelp();\"", "onmouseup=\"DontHideHelp();\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("TBODY", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion element = new DOMElement("SPAN", "::::", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"shortCuts\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "::", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // predicted region assertion } public void checkState22_RandAssertions1() { element = new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); parentElement = new DOMElement("TD", "", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[2]/A[[@href=\"?page=logout\" and @title=\"Log Out\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_stories.gif\"", "width=\"20px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"?page=stories\"", "title=\"Manage Stories\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TR", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "[Dismiss]", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("height=\"1px\"", "width=\"10px\"")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState22_RandAssertions2() { element = new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("LEGEND", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxInner\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV/TABLE/TBODY/TR[4]/TD[[width=\"10px\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("LINK", "LoginPageofMyPhotoGallery", new ArrayList<String>( Arrays.asList("href=\"files/adminfiles/admin.css\"", "rel=\"stylesheet\"", "type=\"text/css\""))); parentElement = new DOMElement("HEAD", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[3]/DIV[3]/DIV[2]/BR[]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion // if(!(isElementPresent(By.xpath("/HTML/BODY/CENTER/DIV[2]/DIV[[class=\"shortCuts\"]")))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState22_RandAssertions3() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"note_valid\""))); parentElement = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Feelfreetoback,anytimeyouwished!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "I'mwaitingforyoutorephormme,again!;)", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "PS.Backupcaught!", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TR", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "[Dismiss]", new ArrayList<String>( Arrays.asList("colspan=\"2\"", "rowspan=\"2\"", "style=\"background-color: #F9F9F9; \"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("height=\"1px\"", "width=\"10px\"")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("TR", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("class=\"dotbgful\"", "height=\"55px\"", "width=\"10px\"")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_photos.gif\"", "width=\"20px\""))); parentElement = new DOMElement("A", "", new ArrayList<String>(Arrays.asList("href=\"?page=photos\"", "title=\"Manage Photos\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "GPL", new ArrayList<String>(Arrays.asList("href=\"http://gnu.org/licenses/gpl.txt\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"footnote\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "GPL", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion } public void checkState22_RandAssertions4() { element = new DOMElement("A", "::::", new ArrayList<String>(Arrays.asList("href=\"?page=comments\"", "title=\"Manage Comments\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"shortCuts\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"logo\"", "height=\"20px\"", "src=\"files/adminfiles/logo_comments.gif\"", "width=\"20px\"")))); childrenElements.add(new DOMElement("IMG", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "Phormer", new ArrayList<String>(Arrays.asList("href=\"http://p.horm.org/er\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("style=\"color: #060;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "Phormer", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("style=\"text-align: center; font-size: 1.0em; margin: 0px 0px 8px; \""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>( Arrays.asList("class=\"method\"", "style=\"text-align: left; background: #E8F0F8\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("style=\"color: #060;\"")))); childrenElements.add(new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("CENTER", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("BODY", "", new ArrayList<String>(Arrays.asList( "onblur=\"javascript:blured=true;\"", "onfocus=\"javascript:if(blured){try{dg('loginAdminPass').focus();blured=false;}catch(e){}}\"", "onload=\"javascript:PrepareBody();\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>( Arrays.asList("class=\"Helping\"", "id=\"helpBoxContainer\"", "style=\"\"")))); childrenElements .add(new DOMElement("DIV", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"Granny\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("LEGEND", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxInner\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } public void checkState22_RandAssertions5() { element = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"part\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("class=\"method\"", "style=\"text-align: left\"")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>( Arrays.asList("class=\"method\"", "style=\"text-align: left; background: #E8F0F8\"")))); childrenElements.add(new DOMElement("BR", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("BR", "", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"inside\""))); childrenElements.clear(); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("A", "LogintoYourPhormer", new ArrayList<String>(Arrays.asList("href=\"?\"", "style=\"color: black\""))); parentElement = new DOMElement("SPAN", "", new ArrayList<String>(Arrays.asList("class=\"name\""))); childrenElements.clear(); childrenElements .add(new DOMElement("#text", "LogintoYourPhormer", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion element = new DOMElement("TR", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("TBODY", "", new ArrayList<String>(Arrays.asList(""))); childrenElements.clear(); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("width=\"10px\"")))); childrenElements.add(new DOMElement("TD", "", new ArrayList<String>(Arrays.asList("class=\"dotbgful\"", "colspan=\"2\"", "width=\"295px\"")))); // if(!(isElementRegionFullPresent(parentElement , element, childrenElements))){System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return;} // Random element assertion element = new DOMElement("FIELDSET", "[Dismiss]", new ArrayList<String>(Arrays.asList(""))); parentElement = new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("class=\"fieldCont\"", "style=\"margin-bottom: -1px;\""))); childrenElements.clear(); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add( new DOMElement("LEGEND", "[Dismiss]", new ArrayList<String>(Arrays.asList("id=\"helpBoxInner\"")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("DIV", "", new ArrayList<String>(Arrays.asList("")))); childrenElements.add(new DOMElement("#text", "", new ArrayList<String>(Arrays.asList("")))); if (!(isElementRegionTagAttPresent(parentElement, element, childrenElements))) { System.out.println(Thread.currentThread().getStackTrace()[1].getMethodName()); return; } // Random element assertion } /* * Auxiliary methods */ private boolean isElementPresent(By by) { try { driver.findElement(by); return true; } catch (NoSuchElementException e) { return false; } } private boolean isElementRegionTagPresent(DOMElement parent, DOMElement element, ArrayList<DOMElement> children) { try { String source = driver.getPageSource(); Document dom = DomUtils.asDocument(source); NodeList nodeList = dom.getElementsByTagName(element.getTagName()); org.w3c.dom.Element sourceElement = null; for (int i = 0; i < nodeList.getLength(); i++) { sourceElement = (org.w3c.dom.Element) nodeList.item(i); // check parent node's tag and attributes String parentTagName = sourceElement.getParentNode().getNodeName(); if (!parentTagName.equals(parent.getTagName())) continue; // check children nodes' tags HashSet<String> childrenTagNameFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTagNameFromDOM.add(sourceElement.getChildNodes().item(j).getNodeName()); HashSet<String> childrenTagNameToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTagNameToTest.add(children.get(k).getTagName()); if (!childrenTagNameToTest.equals(childrenTagNameFromDOM)) continue; return true; } } catch (IOException e) { e.printStackTrace(); } return false; } private boolean isElementRegionTagAttPresent(DOMElement parent, DOMElement element, ArrayList<DOMElement> children) { try { String source = driver.getPageSource(); Document dom = DomUtils.asDocument(source); NodeList nodeList = dom.getElementsByTagName(element.getTagName()); org.w3c.dom.Element sourceElement = null; for (int i = 0; i < nodeList.getLength(); i++) { // check node's attributes sourceElement = (org.w3c.dom.Element) nodeList.item(i); NamedNodeMap elementAttList = sourceElement.getAttributes(); HashSet<String> elemetAtts = new HashSet<String>(); for (int j = 0; j < elementAttList.getLength(); j++) elemetAtts.add(elementAttList.item(j).getNodeName() + "=\"" + elementAttList.item(j).getNodeValue() + "\""); if (!element.getAttributes().equals(elemetAtts)) continue; // check parent node's tag and attributes String parentTagName = sourceElement.getParentNode().getNodeName(); if (!parentTagName.equals(parent.getTagName())) continue; NamedNodeMap parentAttList = sourceElement.getParentNode().getAttributes(); HashSet<String> parentAtts = new HashSet<String>(); for (int j = 0; j < parentAttList.getLength(); j++) parentAtts.add(parentAttList.item(j).getNodeName() + "=\"" + parentAttList.item(j).getNodeValue() + "\""); if (!parent.getAttributes().equals(parentAtts)) continue; // check children nodes' tags HashSet<String> childrenTagNameFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTagNameFromDOM.add(sourceElement.getChildNodes().item(j).getNodeName()); HashSet<String> childrenTagNameToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTagNameToTest.add(children.get(k).getTagName()); if (!childrenTagNameToTest.equals(childrenTagNameFromDOM)) continue; // check children nodes' attributes HashSet<HashSet<String>> childrenAttsFromDOM = new HashSet<HashSet<String>>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) { NamedNodeMap childAttListFromDOM = sourceElement.getChildNodes().item(j).getAttributes(); HashSet<String> childAtts = new HashSet<String>(); if (childAttListFromDOM != null) for (int k = 0; k < childAttListFromDOM.getLength(); k++) childAtts.add(childAttListFromDOM.item(k).getNodeName() + "=\"" + childAttListFromDOM.item(k).getNodeValue() + "\""); childrenAttsFromDOM.add(childAtts); } HashSet<HashSet<String>> childrenAttsToTest = new HashSet<HashSet<String>>(); for (int k = 0; k < children.size(); k++) childrenAttsToTest.add(children.get(k).getAttributes()); if (!childrenAttsToTest.equals(childrenAttsFromDOM)) continue; return true; } } catch (IOException e) { e.printStackTrace(); } return false; } private boolean isElementRegionFullPresent(DOMElement parent, DOMElement element, ArrayList<DOMElement> children) { try { String source = driver.getPageSource(); Document dom = DomUtils.asDocument(source); NodeList nodeList = dom.getElementsByTagName(element.getTagName()); org.w3c.dom.Element sourceElement = null; for (int i = 0; i < nodeList.getLength(); i++) { // check node's text and attributes sourceElement = (org.w3c.dom.Element) nodeList.item(i); if (!element.getTextContent().equals(sourceElement.getTextContent().replace("\n", "") .replace("\r", "").replace(" ", "").replace("\t", "").replaceAll("[^\\x00-\\x7F]", ""))) continue; NamedNodeMap elementAttList = sourceElement.getAttributes(); HashSet<String> elemetAtts = new HashSet<String>(); for (int j = 0; j < elementAttList.getLength(); j++) elemetAtts.add(elementAttList.item(j).getNodeName() + "=\"" + elementAttList.item(j).getNodeValue() + "\""); if (!element.getAttributes().equals(elemetAtts)) continue; // check parent node's text, tag and attributes String parentTagName = sourceElement.getParentNode().getNodeName(); if (!parent.getTextContent().equals(sourceElement.getParentNode().getTextContent().replace("\n", "") .replace("\r", "").replace(" ", "").replace("\t", "").replaceAll("[^\\x00-\\x7F]", ""))) continue; if (!parentTagName.equals(parent.getTagName())) continue; NamedNodeMap parentAttList = sourceElement.getParentNode().getAttributes(); HashSet<String> parentAtts = new HashSet<String>(); for (int j = 0; j < parentAttList.getLength(); j++) parentAtts.add(parentAttList.item(j).getNodeName() + "=\"" + parentAttList.item(j).getNodeValue() + "\""); if (!parent.getAttributes().equals(parentAtts)) continue; // check children nodes' text HashSet<String> childrenTextFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTextFromDOM.add(sourceElement.getChildNodes().item(j).getTextContent().replace("\n", "") .replace("\r", "").replace(" ", "").replace("\t", "").replaceAll("[^\\x00-\\x7F]", "")); HashSet<String> childrenTextToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTextToTest.add(children.get(k).getTextContent()); if (!childrenTextToTest.equals(childrenTextFromDOM)) continue; // check children nodes' tags HashSet<String> childrenTagNameFromDOM = new HashSet<String>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) childrenTagNameFromDOM.add(sourceElement.getChildNodes().item(j).getNodeName()); HashSet<String> childrenTagNameToTest = new HashSet<String>(); for (int k = 0; k < children.size(); k++) childrenTagNameToTest.add(children.get(k).getTagName()); if (!childrenTagNameToTest.equals(childrenTagNameFromDOM)) continue; // check children nodes' attributes HashSet<HashSet<String>> childrenAttsFromDOM = new HashSet<HashSet<String>>(); for (int j = 0; j < sourceElement.getChildNodes().getLength(); j++) { NamedNodeMap childAttListFromDOM = sourceElement.getChildNodes().item(j).getAttributes(); HashSet<String> childAtts = new HashSet<String>(); if (childAttListFromDOM != null) for (int k = 0; k < childAttListFromDOM.getLength(); k++) childAtts.add(childAttListFromDOM.item(k).getNodeName() + "=\"" + childAttListFromDOM.item(k).getNodeValue() + "\""); childrenAttsFromDOM.add(childAtts); } HashSet<HashSet<String>> childrenAttsToTest = new HashSet<HashSet<String>>(); for (int k = 0; k < children.size(); k++) childrenAttsToTest.add(children.get(k).getAttributes()); if (!childrenAttsToTest.equals(childrenAttsFromDOM)) continue; return true; } } catch (IOException e) { e.printStackTrace(); } return false; } private boolean isAlertPresent() { try { driver.switchTo().alert(); return true; } catch (NoAlertPresentException e) { return false; } } private String closeAlertAndGetItsText() { try { Alert alert = driver.switchTo().alert(); String alertText = alert.getText(); if (acceptNextAlert) { alert.accept(); } else { alert.dismiss(); } return alertText; } finally { acceptNextAlert = true; } } public class DOMElement { private String tagName; private String textContent; private HashSet<String> attributes = new HashSet<String>(); public DOMElement(String tagName, String textContent, ArrayList<String> attributes) { this.tagName = tagName; this.textContent = textContent; if (attributes.get(0) != "") for (int i = 0; i < attributes.size(); i++) this.attributes.add(attributes.get(i)); } public String getTagName() { return tagName; } public String getTextContent() { return textContent; } public HashSet<String> getAttributes() { return attributes; } } private void mutateDOMTree(int stateID) { // execute JavaScript code to mutate DOM String code = com.crawljax.plugins.testilizer.Testilizer.mutateDOMTreeCode(stateID); if (code != null) { long RandomlySelectedDOMElementID = (long) ((JavascriptExecutor) driver).executeScript(code); int MutationOperatorCode = com.crawljax.plugins.testilizer.Testilizer.MutationOperatorCode; int StateToBeMutated = com.crawljax.plugins.testilizer.Testilizer.StateToBeMutated; com.crawljax.plugins.testilizer.Testilizer.SelectedRandomElementInDOM[MutationOperatorCode][StateToBeMutated] = (int) RandomlySelectedDOMElementID; } } }