{"id":"https://openalex.org/W2098909078","doi":"https://doi.org/10.1145/1321631.1321675","title":"An automated approach to monitoring and diagnosing requirements","display_name":"An automated approach to monitoring and diagnosing requirements","publication_year":2007,"publication_date":"2007-11-05","ids":{"openalex":"https://openalex.org/W2098909078","doi":"https://doi.org/10.1145/1321631.1321675","mag":"2098909078"},"language":"en","primary_location":{"id":"doi:10.1145/1321631.1321675","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321631.1321675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5115603095","display_name":"Yiqiao Wang","orcid":"https://orcid.org/0000-0002-5322-1312"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yiqiao Wang","raw_affiliation_strings":["University of Toronto, Toronto, ON, Canada","University of Toronto, Toronto, On, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"University of Toronto, Toronto, On, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041982650","display_name":"Sheila A. McIlraith","orcid":"https://orcid.org/0000-0003-4953-0945"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sheila A. McIlraith","raw_affiliation_strings":["University of Toronto, Toronto, ON, Canada","University of Toronto, Toronto, On, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"University of Toronto, Toronto, On, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002289161","display_name":"Yijun Yu","orcid":"https://orcid.org/0000-0002-7154-8570"},"institutions":[{"id":"https://openalex.org/I204136569","display_name":"The Open University","ror":"https://ror.org/05mzfcs16","country_code":"GB","type":"education","lineage":["https://openalex.org/I204136569"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yijun Yu","raw_affiliation_strings":["Open University, Milton Keynes, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Open University, Milton Keynes, United Kingdom","institution_ids":["https://openalex.org/I204136569"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052098157","display_name":"John Mylopoulos","orcid":"https://orcid.org/0000-0002-8698-3292"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"John Mylopoulos","raw_affiliation_strings":["University of Toronto, Toronto, ON, Canada","University of Toronto, Toronto, On, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"University of Toronto, Toronto, On, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.677,"has_fulltext":false,"cited_by_count":66,"citation_normalized_percentile":{"value":0.97777685,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"293","last_page":"302"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6489169001579285}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6489169001579285}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/1321631.1321675","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1321631.1321675","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.127.7132","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.7132","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.toronto.edu/~yw/publications/ASE/wang07ase.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.128.7524","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7524","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.toronto.edu/pub/reports/csrg/555/TR-555.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.156.5688","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.5688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ase.informatik.uni-essen.de/olbib/p293-wang.pdf","raw_type":"text"},{"id":"pmh:oai:iris.unitn.it:11572/75181","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/75181","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:oro.open.ac.uk:10263","is_oa":false,"landing_page_url":"https://oro.open.ac.uk/10263/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401187","display_name":"Open Research Online (The Open University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I204136569","host_organization_name":"The Open University","host_organization_lineage":["https://openalex.org/I204136569"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W81942528","https://openalex.org/W1487268018","https://openalex.org/W1557686760","https://openalex.org/W1624528677","https://openalex.org/W2003116861","https://openalex.org/W2017739343","https://openalex.org/W2033937366","https://openalex.org/W2057361103","https://openalex.org/W2075959177","https://openalex.org/W2101980584","https://openalex.org/W2108309071","https://openalex.org/W2113978656","https://openalex.org/W2117818414","https://openalex.org/W2118084379","https://openalex.org/W2140796142","https://openalex.org/W2142785340","https://openalex.org/W2155386176","https://openalex.org/W2161586357","https://openalex.org/W2162255975","https://openalex.org/W2301605390","https://openalex.org/W2963957519","https://openalex.org/W6636715844","https://openalex.org/W6669778933"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Monitoring":[0],"the":[1,25,49,52,81,84,87,99,177],"satisfaction":[2,53],"of":[3,13,44,54,64,86,179],"software":[4,55,185],"requirements":[5,56,88],"and":[6,27,46,57,89,145,169],"diagnosing":[7,139],"what":[8],"went":[9],"wrong":[10],"in":[11,24],"case":[12,163],"failure":[14],"is":[15,156],"a":[16,37,62,120,138,165],"hard":[17],"problem":[18,101,106,128],"that":[19,66,107,124,141],"has":[20,134],"received":[21],"little":[22],"attention":[23],"Software":[26],"Requirement":[28],"Engineering":[29],"literature.":[30],"To":[31,93],"address":[32],"this":[33],"problem,":[34],"we":[35,97],"propose":[36],"framework":[38,50,82,133],"adapted":[39],"from":[40],"artificial":[41],"intelligence":[42],"theories":[43],"action":[45],"diagnosis.":[47],"Specifically,":[48],"monitors":[51],"generates":[58],"log":[59,117],"data":[60,118],"at":[61,71],"level":[63],"granularity":[65],"can":[67,108],"be":[68,109],"tuned":[69],"adaptively":[70],"runtime":[72],"depending":[73],"on":[74],"monitored":[75],"feedback.":[76],"When":[77],"errors":[78],"are":[79],"found,":[80],"diagnoses":[83,147],"denial":[85],"identifies":[90],"problematic":[91],"components.":[92],"support":[94],"diagnostic":[95,100],"reasoning,":[96],"transform":[98],"into":[102,119],"apropositional":[103],"satisfiability":[104],"(SAT)":[105],"solved":[110],"by":[111],"existing":[112],"SAT":[113],"solvers.":[114],"We":[115],"preprocess":[116],"compact":[121],"propositional":[122],"encoding":[123],"better":[125],"scales":[126],"with":[127,158],"size.":[129],"The":[130],"proposed":[131],"theoretical":[132],"been":[135],"implemented":[136],"as":[137],"component":[140],"will":[142],"return":[143],"sound":[144],"complete":[146],"accounting":[148],"for":[149],"observed":[150],"aberrant":[151],"system":[152],"behaviors.":[153],"Our":[154,173],"solution":[155],"illustrated":[157],"two":[159],"medium-sized":[160],"publicly":[161],"available":[162],"studies:":[164],"Web-based":[166],"email":[167],"client":[168],"an":[170],"ATM":[171],"simulation.":[172],"experimental":[174],"results":[175],"demonstrate":[176],"feasibility":[178],"scaling":[180],"our":[181],"approach":[182],"to":[183],"medium-size":[184],"systems":[186]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":8}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}