[
    {
        "key": "TU88I8UW",
        "version": 2,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/TU88I8UW",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/TU88I8UW",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/5QEDNIN4",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 872655,
                "username": "cdoran2011",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/cdoran2011",
                        "type": "text/html"
                    }
                }
            },
            "lastModifiedByUser": {
                "id": 791613,
                "username": "nawwar",
                "name": "Nawwar Kabbani",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/nawwar",
                        "type": "text/html"
                    }
                }
            },
            "numChildren": 0
        },
        "data": {
            "key": "TU88I8UW",
            "version": 2,
            "parentItem": "5QEDNIN4",
            "itemType": "note",
            "note": "<p>Digital copy available at: <a href=\"/jar:file://mce_host/../../../../zotero.jar%21/content/zotero/tinymce/note.html\">http://proquest.umi.com/pqdweb?did=766412671&amp;Fmt=2&amp;RQT=309</a></p>",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-04-18T16:20:33Z",
            "dateModified": "2012-09-18T22:10:23Z"
        }
    },
    {
        "key": "7DE6FGSZ",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/7DE6FGSZ",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/7DE6FGSZ",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/UQUQBI4Q",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 791613,
                "username": "nawwar",
                "name": "Nawwar Kabbani",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/nawwar",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "7DE6FGSZ",
            "version": 1,
            "parentItem": "UQUQBI4Q",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "jgardiner_PhD_Thesis_October_2011.pdf (application/pdf Object)",
            "accessDate": "2012-09-18T22:10:08Z",
            "url": "https://dspace.lib.cranfield.ac.uk/bitstream/1826/7301/1/jgardiner_PhD_Thesis_October_2011.pdf",
            "note": "",
            "contentType": "application/pdf",
            "charset": "windows-1252",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-09-18T22:10:08Z",
            "dateModified": "2012-09-18T22:10:08Z"
        }
    },
    {
        "key": "UQUQBI4Q",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/UQUQBI4Q",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/UQUQBI4Q",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 791613,
                "username": "nawwar",
                "name": "Nawwar Kabbani",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/nawwar",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Gardiner",
            "parsedDate": "2012-06-28",
            "numChildren": 1
        },
        "data": {
            "key": "UQUQBI4Q",
            "version": 1,
            "itemType": "thesis",
            "title": "Delayed failure of software components using stochastic testing",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "J.",
                    "lastName": "Gardiner"
                }
            ],
            "abstractNote": "The present research investigates the delayed failure of software components and addresses the problem that the conventional approach to software testing is unlikely to reveal this type of failure. Delayed failure is defined as a failure that occurs some time after the condition that causes the failure, and is a consequence of long-latency error propagation. This research seeks to close a perceived gap between academic research into software testing and industrial software testing practice by showing that stochastic testing can reveal delayed failure, and supporting this conclusion by a model of error propagation and failure that has been validated by experiment. The focus of the present research is on software components described by a request-response model. Within this conceptual framework, a Markov chain model of error propagation and failure is used to derive the expected delayed failure behaviour of software components. Results from an experimental study of delayed failure of DBMS software components MySQL and Oracle XE using stochastic testing with random generation of SQL are consistent with expected behaviour based on the Markov chain model. Metrics for failure delay and reliability are shown to depend on the characteristics of the chosen experimental profile. SQL mutation is used to generate negative as well as positive test profiles. There appear to be few systematic studies of delayed failure in the software engineering literature, and no studies of stochastic testing related to delayed failure of software components, or specifically to delayed failure of DBMS. Stochastic testing is shown to be an effective technique for revealing delayed failure of software components, as well as a suitable technique for reliability and robustness testing of software components. These results provide a deeper insight into the testing technique and should lead to further research. Stochastic testing could provide a dependability benchmark for component-based software engineering.",
            "thesisType": "Thesis or dissertation",
            "university": "Cranfield University",
            "place": "",
            "date": "2012-06-28",
            "series": "",
            "seriesNumber": "",
            "numPages": "244",
            "DOI": "",
            "ISBN": "",
            "citationKey": "",
            "url": "https://dspace.lib.cranfield.ac.uk/handle/1826/7301",
            "accessDate": "2012-09-18T22:05:05Z",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "",
            "callNumber": "",
            "rights": "",
            "extra": "",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-09-18T22:06:47Z",
            "dateModified": "2012-09-18T22:06:47Z"
        }
    },
    {
        "key": "BTKAZWTF",
        "version": 4,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/BTKAZWTF",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/BTKAZWTF",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 791613,
                "username": "nawwar",
                "name": "Nawwar Kabbani",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/nawwar",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Syed",
            "parsedDate": "2011",
            "numChildren": 1
        },
        "data": {
            "key": "BTKAZWTF",
            "version": 4,
            "itemType": "thesis",
            "title": "Investigating Intermittent Software Failures.",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Riza Abbas",
                    "lastName": "Syed"
                }
            ],
            "abstractNote": "",
            "thesisType": "",
            "university": "North Carolina State University",
            "place": "Raleigh, North Carolina",
            "date": "2011",
            "series": "",
            "seriesNumber": "",
            "numPages": "119",
            "DOI": "",
            "ISBN": "",
            "citationKey": "",
            "url": "http://repository.lib.ncsu.edu/ir/bitstream/1840.16/6850/1/etd.pdf",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "Google Scholar",
            "callNumber": "",
            "rights": "",
            "extra": "",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-09-11T22:39:46Z",
            "dateModified": "2012-09-11T22:45:28Z"
        }
    },
    {
        "key": "AEBJ3HGW",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/AEBJ3HGW",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/AEBJ3HGW",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/BTKAZWTF",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 791613,
                "username": "nawwar",
                "name": "Nawwar Kabbani",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/nawwar",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "AEBJ3HGW",
            "version": 1,
            "parentItem": "BTKAZWTF",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "etd.pdf",
            "accessDate": "2012-09-11T22:44:38Z",
            "url": "http://repository.lib.ncsu.edu/ir/bitstream/1840.16/6850/1/etd.pdf",
            "note": "",
            "contentType": "application/pdf",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-09-11T22:44:38Z",
            "dateModified": "2012-09-11T22:44:38Z"
        }
    },
    {
        "key": "U4X8XRNZ",
        "version": 7,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/U4X8XRNZ",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/U4X8XRNZ",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 791613,
                "username": "nawwar",
                "name": "Nawwar Kabbani",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/nawwar",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "DeMott",
            "parsedDate": "2012",
            "numChildren": 1
        },
        "data": {
            "key": "U4X8XRNZ",
            "version": 7,
            "itemType": "thesis",
            "title": "ENHANCING AUTOMATED FAULT DISCOVERY AND ANALYSIS",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Jared",
                    "lastName": "DeMott"
                }
            ],
            "abstractNote": "Creating quality software is difficult. Likewise, offensive researchers look to penetrate quality software. Both parties benefit from a scalable bug hunting framework. Once bugs are found, an equally expensive task is debugging. To debug faults, analysts must identify statements involved in the failures and select suspicious code regions that might contain the fault. Traditionally, this tedious task is performed manually. An automated technique to locate the true source of the failure is called fault localization.\nThe thesis of this research is that an automated process to find software bugs and quickly localize the root cause of the failure is possible by improving upon existing techniques. This research is most interested in bugs that lead to security vulnerabilities. These bugs are high value to offensive researchers, and to the typical software test engineer. In particular, memory corruption bugs characterized via an application crash is the subset of all bugs focused on in this work.\nExisting distributed testing frameworks do not integrate with fault localization tools. Also, existing fault localization tools fail to localize certain difficult bugs. The overall goal of this research is to: (1) Build a dynamic testing framework powerful enough to find new bugs in commercial software. (2) Integrate an existing fault localization technique into the framework that can operate on code without the requirement of having the source code or pre-generated test\ncases. (3) Create a novel fault localization algorithm that better operates on difficult to localize flaws. (4) Test the improvement on benchmark and real-world code.\nThose objectives were achieved and empirical studies were conducted to verify the goals of this research. The constructed distributed bug hunting and analysis platform is called ClusterFuzz. The enhanced fault localization process is called Execution Mining. Test results show the novel fault localization algorithm to be an important improvement, and to be more effective than prior approaches. This research also achieved ancillary goals: visualizing fault localization in a new environment; assembly basic blocks for fully compiled code. A pipeline approach to finding and categorizing bugs paves the way for future work in the areas of automated vulnerability discovery, triage, and exploitation.",
            "thesisType": "",
            "university": "Michigan State University",
            "place": "",
            "date": "2012",
            "series": "",
            "seriesNumber": "",
            "numPages": "128",
            "DOI": "",
            "ISBN": "",
            "citationKey": "",
            "url": "http://www.vdalabs.com/tools/DeMott_Dissertation.pdf",
            "accessDate": "2012-08-31",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "English",
            "libraryCatalog": "",
            "callNumber": "",
            "rights": "",
            "extra": "",
            "tags": [
                {
                    "tag": "Done"
                }
            ],
            "collections": [],
            "relations": {
                "owl:sameAs": "http://zotero.org/groups/75910/items/FB23THKI"
            },
            "dateAdded": "2012-08-31T18:53:02Z",
            "dateModified": "2012-08-31T19:00:08Z"
        }
    },
    {
        "key": "T5V4658J",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/T5V4658J",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/T5V4658J",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/U4X8XRNZ",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 791613,
                "username": "nawwar",
                "name": "Nawwar Kabbani",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/nawwar",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "T5V4658J",
            "version": 1,
            "parentItem": "U4X8XRNZ",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "DeMott_Dissertation.pdf",
            "accessDate": "2012-08-31T18:54:13Z",
            "url": "http://www.vdalabs.com/tools/DeMott_Dissertation.pdf",
            "note": "",
            "contentType": "application/pdf",
            "charset": "",
            "tags": [],
            "relations": {
                "owl:sameAs": "http://zotero.org/groups/75910/items/E4FJS3PR"
            },
            "dateAdded": "2012-08-31T18:54:13Z",
            "dateModified": "2012-08-31T18:54:13Z"
        }
    },
    {
        "key": "IJPFXJCJ",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/IJPFXJCJ",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/IJPFXJCJ",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/PSJJWCHQ",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "IJPFXJCJ",
            "version": 1,
            "parentItem": "PSJJWCHQ",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "view.cgi?acc_num=kent1216149768",
            "accessDate": "2012-08-27T20:03:59Z",
            "url": "http://etd.ohiolink.edu/view.cgi?acc_num=kent1216149768",
            "note": "",
            "contentType": "",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "U52SJW3I",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/U52SJW3I",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/U52SJW3I",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/8JRR4MCD",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "U52SJW3I",
            "version": 1,
            "parentItem": "8JRR4MCD",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "",
            "accessDate": "2012-08-27T18:13:35Z",
            "url": "http://scholar.lib.vt.edu.portal.lib.fit.edu/theses/available/etd-08162007-161911/",
            "note": "",
            "contentType": "",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "AV3ZW7UM",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/AV3ZW7UM",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/AV3ZW7UM",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/P8SSN7RE",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "AV3ZW7UM",
            "version": 1,
            "parentItem": "P8SSN7RE",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "BUSHMAIS-MASTERS-REPORT.pdf",
            "accessDate": "2012-08-27T18:09:46Z",
            "url": "https://repositories.lib.utexas.edu/bitstream/handle/2152/ETD-UT-2011-08-4335/BUSHMAIS-MASTERS-REPORT.pdf",
            "note": "",
            "contentType": "application/pdf",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "PTVDT7GA",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/PTVDT7GA",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/PTVDT7GA",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/48XRFGTP",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "PTVDT7GA",
            "version": 1,
            "parentItem": "48XRFGTP",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "296",
            "accessDate": "2012-08-27T18:15:24Z",
            "url": "http://csuchico-dspace.calstate.edu/xmlui/handle/10211.4/296",
            "note": "",
            "contentType": "",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "GVCKXAXU",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/GVCKXAXU",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/GVCKXAXU",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Cao et al.",
            "parsedDate": "2010",
            "numChildren": 1
        },
        "data": {
            "key": "GVCKXAXU",
            "version": 1,
            "itemType": "book",
            "title": "Test and Validation of Web Services Castanet, Richard. ; Directeur de thèse.",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Tien Dung (1979- ) Auteur Félix",
                    "lastName": "Cao"
                },
                {
                    "creatorType": "author",
                    "firstName": "",
                    "lastName": "Université de Bordeaux I"
                },
                {
                    "creatorType": "author",
                    "name": "Organisme de soutenance."
                },
                {
                    "creatorType": "author",
                    "name": "Organisme de soutenance."
                },
                {
                    "creatorType": "author",
                    "name": "Organisme de soutenance."
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2010",
            "publisher": "[s.n.]",
            "place": "[S.l.]",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "Access: http://www.theses.fr/2010BOR14122/document\nExternal Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Thèse de doctorat : Informatique : Bordeaux 1 : 2010.\nLanguage: English\nAbstract: Nous proposons dans cette thèse les approches de test pour la composition de services web. Nous nous intéressons aux test unitaire et d'intégration d'une orchestration de services web. L'aspect de vérification d'exécution en-ligne est aussi consideré. Nous définissons une plateforme de test unitaire pour l'orchestration de services web qui compose une architecture de test, une relation de conformité et deux approches de test basés sur le modèle de machine à l'états finis étendues temporisés: l'approche offline où les activités de test comme la génération de cas de test temporisé, l'exécution de test et l'assignement de verdict sont appliquées en séquentielle tandis que ces activités sont appliquées en parallèle dans l'approche online. Pour le test d'intégration d'une orchestration, nous combinons deux approches: active et passive.Au debut, l'approche active est utilisée pour activer une nouvelle session d'orchestration par l'envoi d'un message de requête SOAP. Après, tous les messages d'entré et de sortie de l'orchestration sont collectés et analysés par l'approche passive.Pour l'aspect de vérification d'exécution en-ligne, nous nous intéressons à la vérification d'une trace qui respecte un ensemble des constraintes, noté règles, ou pas. Nous avons proposé extendre le langage Nomad en définissant des constraintes sur chaque action atomique et un ensemble de corrélation de données entre les actions pour définir des règles pour le service web. Ce langage nous permet de définir des règles avec le temps futur et passé, et d'utiliser des opérations NOT, AND, OR pour combiner quelque conditions dans le contexte de la règle. Ensuite, nous proposons un algorithme pour vérifier l'exactitude d'une séquence des messages en parallèle avec le moteur de collecte de trace. In this thesis, we propose the testing approaches for web service composition. We focus on unit, integrated testing of an orchestration of web services and also the runtime verification aspect. We defined an unit testing framework for an orchestration that is composed of a test architecture, a conformance relation and two proposed testing approaches based on\nTimed Extended Finite State Machine (TEFSM) model: offline which test activities as timed test case generation, test execution and verdict assignment are applied in sequential, and online which test activities are applied in parallel. For integrated testing of an orchestration, we combines of two approaches: active and passive. Firstly, active approach is used to start a new session of the orchestration by sending a SOAP request. Then all communicating messages among services are collected and analyzed by a passive approach. On the runtime verification aspect, we are interested in the correctness of an execution trace with a set of defined constraints, called rules. We have proposed to extend the Nomad language, by defining the constraints on each atomic action (fixed conditions) and a set of data correlations between the actions to define the rules for web services. This language allows us to define a rule with future and past time, and to use the operations: NOT, AND, OR to combines some conditions into a context of the rule. Afterwards, we proposed an algorithm to check correctness of a message sequence in parallel with the trace collection engine. Specifically, this algorithm verifies message by message without storing them.\nAccess: File transfer mode: PDF File size:          5001267http://www.theses.fr/2010BOR14122/document Note:               AcceÌ€s au texte inteÌ±gral\nhttp: //ori-oai.u-bordeaux1.fr/pdf/2010/CAO_TIEN_DUNG_2010.pdf\nIdentifier: Orchestration de services web; Machine à états finis étendues temporisés; Test en-ligne; Test actif/passif; Vérification d'exécution en-ligne; Génération de cas de test temporisé\nFile Info: Données textuelles.\nNote(s): Titre provenant de l'écran-titre.\nResponsibility: Tien Dung Cao ; sous la direction de Richard Castanet et de Patrick Félix.\nMaterial Type: Document (dct); Thesis/dissertation (deg); Internet resource (url)\nDate of Entry: 20110711\nUpdate: 20120727\nProvider: OCLC",
            "tags": [
                {
                    "tag": "Services Web",
                    "type": 1
                },
                {
                    "tag": "Tests",
                    "type": 1
                },
                {
                    "tag": "Thèses et écrits académiques",
                    "type": 1
                },
                {
                    "tag": "Thèses et écrits académiques. Machines séquentielles, Théorie des",
                    "type": 1
                }
            ],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "TN6FBTEC",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/TN6FBTEC",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/TN6FBTEC",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Hopfner",
            "parsedDate": "2008",
            "numChildren": 1
        },
        "data": {
            "key": "TN6FBTEC",
            "version": 1,
            "itemType": "book",
            "title": "Source code analysis, management, and visualization for PROLOG",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Marbod (Author)",
                    "lastName": "Hopfner"
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2008",
            "publisher": "[Online-Ausg.]",
            "place": "Edition",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "Access: http://d-nb.info/994813236/34\nExternal Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Würzburg, Univ., Diss., 2009\nLanguage: English\nAccess: http://d-nb.info/994813236/34\nFile size: ca. 3,3 MBhttp://www.opus-bayern.de/uni-wuerzburg/volltexte/2009/3630/pdf/diss_marbod_hopfner.pdf Note:                     kostenfrei\nhttp: //www.opus-bayern.de/uni-wuerzburg/volltexte/2009/3630/\nNote(s): Reproduction:             Online-Ausg.:\nGeneral Info: National bibliography no: 09,H08,0055; 09,H08,0055\nClass Descriptors: Dewey: 005.117\nResponsibility: vorgelegt von Marbod Hopfner\nMaterial Type: Thesis/dissertation (deg); Internet resource (url)\nDate of Entry: 20090618\nUpdate: 20120723\nProvider: OCLC",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "P8SSN7RE",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/P8SSN7RE",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/P8SSN7RE",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Bushmais",
            "parsedDate": "2011",
            "numChildren": 1
        },
        "data": {
            "key": "P8SSN7RE",
            "version": 1,
            "itemType": "book",
            "title": "Graph based unit testing",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Abraham H.",
                    "lastName": "Bushmais"
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2011",
            "publisher": "University of Texas",
            "place": "[Austin, Tex.",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "Access: https://repositories.lib.utexas.edu/bitstream/handle/2152/ETD-UT-2011-08-4335/BUSHMAIS-MASTERS-REPORT.pdf\nExternal Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Report (M.S. in Engineering)--University of Texas at Austin, 2011.\nLanguage: English\nAbstract: Automating test design can increase test suit accuracy and produce more reliable software. In this report we present a prototype tool that can aid developers in unit testing Java code. It automates test path construction based on two existing graph-based criteria. It uses basis path coverage and prime path coverage to produce test paths. Our main contribution in this report is to design and implement a tool that goes beyond the commonly used coverage tools today. Common graph based coverage tools support statement coverage and sometimes branch coverage. Our tool support prime path coverage which subsumes a number of other graph based coverage criteria, including statement and branch coverage. Our tool is a Java based Eclipse plug-in that operates at the class level. It processes each method in a given class to produce a CFG, cyclomatic complexity, a set of basis paths, a set of prime paths, and a set of test paths based on prime path coverage.\nAccess: https://repositories.lib.utexas.edu/bitstream/handle/2152/ETD-UT-2011-08-4335/BUSHMAIS-MASTERS-REPORT.pdf\nIdentifier: Graph-base coverage tools; Unit testing; Java code\nNote(s): Title from PDF title page (University of Texas Digital Repository, viewed on Nov. 7, 2011)/ Includes bibliographical references.\nResponsibility: by Abraham H. Bushmais.\nMaterial Type: Document (dct); Thesis/dissertation (deg); Government publication (gpb); State or province government publication (sgp); Internet resource (url); eBook (ebk)\nDate of Entry: 20111107\nUpdate: 20111107\nProvider: OCLC",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "48XRFGTP",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/48XRFGTP",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/48XRFGTP",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Farrer",
            "parsedDate": "2011",
            "numChildren": 1
        },
        "data": {
            "key": "48XRFGTP",
            "version": 1,
            "itemType": "book",
            "title": "A quantitative analysis of whether unit testing obviates static type checking for error detection",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Evan R.",
                    "lastName": "Farrer"
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2011",
            "publisher": "California State University, Chico]",
            "place": "[Chico, Calif.",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "Access: http://hdl.handle.net/10211.4/296\nExternal Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Thesis (M.S.)--California State University, Chico.\nLanguage: English\nAccess: http://hdl.handle.net/10211.4/296 Note:               CSU, Chico Electronic Master's Thesis.\nSystem Info: System requirements: Adobe Acrobat Reader.\nNote(s): Includes abstract./ \"Located in the Chico Digital Repository.\"/ Includes bibliographical references (p. 47-49).\nResponsibility: by Evan R. Farrer.\nMaterial Type: Document (dct); Thesis/dissertation (deg); Internet resource (url); eBook (ebk)\nDate of Entry: 20110923\nUpdate: 20111203\nProvider: OCLC",
            "tags": [
                {
                    "tag": "Computer software",
                    "type": 1
                },
                {
                    "tag": "Testing",
                    "type": 1
                }
            ],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "W9N9E6T8",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/W9N9E6T8",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/W9N9E6T8",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/GVCKXAXU",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "W9N9E6T8",
            "version": 1,
            "parentItem": "GVCKXAXU",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "CAO_TIEN_DUNG_2010.pdf",
            "accessDate": "2012-08-27T18:14:31Z",
            "url": "http://ori-oai.u-bordeaux1.fr/pdf/2010/CAO_TIEN_DUNG_2010.pdf",
            "note": "",
            "contentType": "application/pdf",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "4GTP5AV2",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/4GTP5AV2",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/4GTP5AV2",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/TN6FBTEC",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "4GTP5AV2",
            "version": 1,
            "parentItem": "TN6FBTEC",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "34",
            "accessDate": "2012-08-27T20:02:39Z",
            "url": "http://d-nb.info/994813236/34",
            "note": "",
            "contentType": "",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "DUTSCV4D",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/DUTSCV4D",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/DUTSCV4D",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Siedenburg",
            "parsedDate": "2010",
            "numChildren": 0
        },
        "data": {
            "key": "DUTSCV4D",
            "version": 1,
            "itemType": "book",
            "title": "Unit root testing in panel and time series models new tests and economic applications",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Florian (Author)",
                    "lastName": "Siedenburg"
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2010",
            "publisher": "",
            "place": "",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "Access: http://d-nb.info/1007945974/34\nExternal Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Univ., Diss., 2010--Kiel.\nLanguage: English\nAccess: http://d-nb.info/1007945974/34\nhttp: //nbn-resolving.de/urn:nbn:de:gbv:8-diss-54955\nFile transfer mode: PDFhttp://eldiss.uni-kiel.de/macau/receive/dissertation_diss_00005495\nGeneral Info: National bibliography no: 10,O11\nResponsibility: vorgelegt von Florian Siedenburg.\nMaterial Type: Thesis/dissertation (deg); Internet resource (url)\nDate of Entry: 20101104\nUpdate: 20110824\nProvider: OCLC",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "D36G3JHH",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/D36G3JHH",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/D36G3JHH",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Hussain et al.",
            "parsedDate": "2007",
            "numChildren": 0
        },
        "data": {
            "key": "D36G3JHH",
            "version": 1,
            "itemType": "book",
            "title": "Test case generation for white-box unit testing",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Samira",
                    "lastName": "Hussain"
                },
                {
                    "creatorType": "author",
                    "firstName": "Pomona",
                    "lastName": "California State Polytechnic University"
                },
                {
                    "creatorType": "author",
                    "name": "Dept. of Computer Science."
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2007",
            "publisher": "California State Polytechnic University, Pomona]",
            "place": "[Pomona, [Calif.]",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "External Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Thesis( M.S.)--California State Polytechnic University, Pomona. Dept. of Computer Science, 2007.\nLanguage: English\nNote(s): Approved by: Salam Salloum, Chung Lee and Daisy Sang./ Includes bibliographical references.\nClass Descriptors: LC: LD729.6.P5Z99 2007\nOther Titles: Test generation for white-box unit testing\nResponsibility: by Samira Hussain.\nMaterial Type: Thesis/dissertation (deg); Manuscript (mss)\nDate of Entry: 20080716\nUpdate: 20080716\nProvider: OCLC",
            "tags": [
                {
                    "tag": "Computer programs",
                    "type": 1
                },
                {
                    "tag": "Testing",
                    "type": 1
                }
            ],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "PSJJWCHQ",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/PSJJWCHQ",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/PSJJWCHQ",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Hopfner",
            "parsedDate": "2008",
            "numChildren": 1
        },
        "data": {
            "key": "PSJJWCHQ",
            "version": 1,
            "itemType": "book",
            "title": "Source Code Analysis, Management, and Visualization for PROLOG",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Marbod",
                    "lastName": "Hopfner"
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2008, ?",
            "publisher": "",
            "place": "",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "Access: http://www.opus-bayern.de/uni-wuerzburg/volltexte/2009/3630/\nExternal Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Würzburg, Univ., Diss., 2009.\nLanguage: English\nAccess: File size:           3345 KBhttp://www.opus-bayern.de/uni-wuerzburg/volltexte/2009/3630/ Note:                kostenfrei Materials specified: Volltext\nResponsibility: von Marbod Hopfner\nMaterial Type: Thesis/dissertation (deg); Internet resource (url)\nDate of Entry: 20090619\nUpdate: 20110823\nProvider: OCLC",
            "tags": [
                {
                    "tag": "Refactoring Software Engineering PROLOG (Programmiersprache)",
                    "type": 1
                }
            ],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "8JRR4MCD",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/8JRR4MCD",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/8JRR4MCD",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Tan",
            "parsedDate": "2007",
            "numChildren": 1
        },
        "data": {
            "key": "8JRR4MCD",
            "version": 1,
            "itemType": "book",
            "title": "Programming language and tools for automated testing",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Roy Patrick",
                    "lastName": "Tan"
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2007",
            "publisher": "University Libraries, Virginia Polytechnic Institute and State University",
            "place": "[Blacksburg, Va.",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "Access: http://scholar.lib.vt.edu/theses/available/etd-08162007-161911\nExternal Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Thesis (Ph. D.)--Virginia Polytechnic Institute and State University, 2007.\nLanguage: English\nAbstract: Software testing is a necessary and integral part of the software quality process. It is estimated that inadequate testing infrastructure cost the US economy between $22.2 and $59.5 billion. We present Sulu, a programming language designed with automated unit testing specifically in mind, as a demonstration of how software testing may be more integrated and automated into the software development process. Sulu's runtime and tools support automated testing from end to end; automating the generation, execution, and evaluation of test suites using both code coverage and mutation analysis. Sulu is also designed to fully integrate automatically generated tests with manually written test suites. Sulu's tools incorporate pluggable test case generators, which enables the software developer to employ different test case generation algorithms. To show the effectiveness of this integrated approach, we designed an experiment to evaluate a family of test suites generated using one test case generation algorithm, which exhaustively enumerates every sequence of method calls within a certain bound. The results show over 80\\% code coverage and high mutation coverage for the most comprehensive test suite generated.\nAccess: Note:               This resource onlinehttp://scholar.lib.vt.edu/theses/available/etd-08162007-161911\nIdentifier: unit testing; Sulu; software engineering; programming language; software testing\nSystem Info: System requirements: PC, World Wide Web browser, and PDF reader.; Available electronically via the Internet.\nFile Info: Computer data (1 file)\nNote(s): Title from electronic submission form./ Vita./ Abstract./ Includes bibliographical references.\nResponsibility: Roy Patrick Tan.\nMaterial Type: Thesis/dissertation (deg); Internet resource (url); eBook (ebk)\nDate of Entry: 20071012\nUpdate: 20120403\nProvider: OCLC",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T20:04:32Z",
            "dateModified": "2012-08-27T20:04:32Z"
        }
    },
    {
        "key": "GXXNKJMK",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/GXXNKJMK",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/GXXNKJMK",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/N23VDF4S",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "GXXNKJMK",
            "version": 1,
            "parentItem": "N23VDF4S",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "Dookhoo_Raul_A_200812_MS.pdf",
            "accessDate": "2012-08-24T16:20:17Z",
            "url": "http://etd.fcla.edu/CF/CFE0002437/Dookhoo_Raul_A_200812_MS.pdf",
            "note": "",
            "contentType": "application/pdf",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T15:06:48Z",
            "dateModified": "2012-08-27T15:06:48Z"
        }
    },
    {
        "key": "SUN5DUSJ",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/SUN5DUSJ",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/SUN5DUSJ",
                "type": "text/html"
            },
            "up": {
                "href": "https://api.zotero.org/groups/63659/items/QCFXHPKF",
                "type": "application/json"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            }
        },
        "data": {
            "key": "SUN5DUSJ",
            "version": 1,
            "parentItem": "QCFXHPKF",
            "itemType": "attachment",
            "linkMode": "linked_url",
            "title": "badfetch.html:resultset=3:format=FI:recno=12:numrecs=1:entitylibrarycount=2:sessionid=fsapp3-46525-h69fghon-40fdru:entitypagenum=15:0",
            "accessDate": "2012-08-24T15:24:23Z",
            "url": "http://firstsearch.oclc.org.portal.lib.fit.edu/WebZ/FSFETCH?fetchtype=fullrecord:next=html/record.html:bad=error/badfetch.html:resultset=3:format=FI:recno=12:numrecs=1:entitylibrarycount=2:sessionid=fsapp3-46525-h69fghon-40fdru:entitypagenum=15:0",
            "note": "",
            "contentType": "",
            "charset": "",
            "tags": [],
            "relations": {},
            "dateAdded": "2012-08-27T15:06:48Z",
            "dateModified": "2012-08-27T15:06:48Z"
        }
    },
    {
        "key": "4ZTMFVQG",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/4ZTMFVQG",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/4ZTMFVQG",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "Seshadri",
            "parsedDate": "2009",
            "numChildren": 0
        },
        "data": {
            "key": "4ZTMFVQG",
            "version": 1,
            "itemType": "book",
            "title": "Trace-replay for cooperative regression testing",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Bharathi",
                    "lastName": "Seshadri"
                }
            ],
            "abstractNote": "",
            "series": "",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2009",
            "publisher": "",
            "place": "",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "9781109485356",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "External Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nDissertation: Thesis (M.S.)--University of California, Davis, 2009.\nLanguage: English\nAbstract: Popular desktop applications, such as office suites, have large, steadily evolving feature sets. These applications have large, diverse user populations, which leads to unanticipated and surprising usage patterns. Still, users care deeply that old features continue to work as new versions appear; any regression on existing features imperils the product's reputation. Regression testing can help, but the diversity of features and usage patterns makes it a challenging task. This thesis proposes a trace-replay approach for distributed, cooperative regression testing, to improve the quality of popular applications. Our framework exploits user interactions with older (functioning) versions of software, along with increasing compute power, to aid in regression testing of new versions, using a trace-replay approach. We improve on previous approaches by adopting a multi-stage trace-capture approach, that reduces the user's run-time overhead. Our approach handles both single and multi-threaded applications, and our evaluation on some realistic applications shows considerably lower live overheads than previously published techniques. Genre/Form:         Dissertations, Academic -- University of California, Davis -- Computer Science.\nNote(s): Degree granted in Computer Science.\nMaterial Type: Document (dct); Thesis/dissertation (deg)\nDate of Entry: 20100304\nUpdate: 20100730\nProvider: OCLC",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T15:06:48Z",
            "dateModified": "2012-08-27T15:06:48Z"
        }
    },
    {
        "key": "GWN4W2TZ",
        "version": 1,
        "library": {
            "type": "group",
            "id": 63659,
            "name": "CSTER_Dissertations",
            "links": {
                "alternate": {
                    "href": "https://www.zotero.org/groups/cster_dissertations",
                    "type": "text/html"
                }
            }
        },
        "links": {
            "self": {
                "href": "https://api.zotero.org/groups/63659/items/GWN4W2TZ",
                "type": "application/json"
            },
            "alternate": {
                "href": "https://www.zotero.org/groups/cster_dissertations/items/GWN4W2TZ",
                "type": "text/html"
            }
        },
        "meta": {
            "createdByUser": {
                "id": 1088228,
                "username": "ChadMason",
                "name": "",
                "links": {
                    "alternate": {
                        "href": "https://www.zotero.org/chadmason",
                        "type": "text/html"
                    }
                }
            },
            "creatorSummary": "EngstroÌˆm",
            "parsedDate": "2010",
            "numChildren": 0
        },
        "data": {
            "key": "GWN4W2TZ",
            "version": 1,
            "itemType": "book",
            "title": "research and state of practice",
            "creators": [
                {
                    "creatorType": "author",
                    "firstName": "Emelie",
                    "lastName": "EngstroÌˆm"
                }
            ],
            "abstractNote": "",
            "series": "Licentiate thesis (Department of Computer Science, Lund University),; 11; Variation:          Licentiate thesis (Department of Computer Science, Lund Institute of Technology, Lund University),; 11.",
            "seriesNumber": "",
            "volume": "",
            "numberOfVolumes": "",
            "edition": "",
            "date": "2010",
            "publisher": "Department of Computer Science, Lund University",
            "place": "Lund",
            "originalDate": "",
            "originalPublisher": "",
            "originalPlace": "",
            "format": "",
            "numPages": "",
            "ISBN": "",
            "DOI": "",
            "citationKey": "",
            "url": "",
            "accessDate": "",
            "ISSN": "",
            "archive": "",
            "archiveLocation": "",
            "shortTitle": "",
            "language": "",
            "libraryCatalog": "OCLC WorldCat FirstSearch",
            "callNumber": "",
            "rights": "",
            "extra": "External Resources: Cite This Item Search for versions with same title and author | Advanced options ...\nExploring regression testing and software product line testing : \nDissertation: Licenciatavhandling Lund : Lunds universitet, 2010.\nLanguage: English\nContents: Sammanfattning jaÌˆmte 5 uppsatser\nResponsibility: Emelie EngstroÌˆm.\nMaterial Type: Thesis/dissertation (deg)\nEntry: 20100825\nUpdate: 20100914\nProvider: OCLC",
            "tags": [],
            "collections": [],
            "relations": {},
            "dateAdded": "2012-08-27T15:06:48Z",
            "dateModified": "2012-08-27T15:06:48Z"
        }
    }
]