{"id":"https://openalex.org/W1966283741","doi":"https://doi.org/10.1080/08839510701853200","title":"THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION","display_name":"THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION","publication_year":2008,"publication_date":"2008-02-06","ids":{"openalex":"https://openalex.org/W1966283741","doi":"https://doi.org/10.1080/08839510701853200","mag":"1966283741"},"language":"en","primary_location":{"id":"doi:10.1080/08839510701853200","is_oa":true,"landing_page_url":"https://doi.org/10.1080/08839510701853200","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/08839510701853200?needAccess=true","source":{"id":"https://openalex.org/S125501549","display_name":"Applied Artificial Intelligence","issn_l":"0883-9514","issn":["0883-9514","1087-6545"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.tandfonline.com/doi/pdf/10.1080/08839510701853200?needAccess=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030188873","display_name":"Pierre Dupont","orcid":"https://orcid.org/0000-0003-4835-6519"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Pierre Dupont","raw_affiliation_strings":["Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium; the UCL Machine Learning Group","Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium","the UCL Machine Learning Group ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium; the UCL Machine Learning Group","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"the UCL Machine Learning Group ,","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059010672","display_name":"Bernard Lambeau","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bernard Lambeau","raw_affiliation_strings":["Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium","Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057695594","display_name":"Christophe Damas","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Christophe Damas","raw_affiliation_strings":["Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium","Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046441603","display_name":"Axel van Lamsweerde","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel van Lamsweerde","raw_affiliation_strings":["Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium","Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI), Universit\u00e9 Catholique de Louvain, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Department of Computing Science and Engineering (INGI) , Universit\u00e9 Catholique de Louvain , Belgium","institution_ids":["https://openalex.org/I95674353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5030188873"],"corresponding_institution_ids":["https://openalex.org/I95674353"],"apc_list":{"value":2195,"currency":"USD","value_usd":2195},"apc_paid":null,"fwci":15.2389,"has_fulltext":true,"cited_by_count":57,"citation_normalized_percentile":{"value":0.98780184,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"22","issue":"1-2","first_page":"77","last_page":"115"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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.8622413873672485},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5722811818122864},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5126277804374695},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5117990374565125},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5025928020477295},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.495383620262146},{"id":"https://openalex.org/keywords/domain-engineering","display_name":"Domain engineering","score":0.47001221776008606},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4692898690700531},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.46654701232910156},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4479776620864868},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3604925870895386},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3549165725708008},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33523374795913696},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3152085542678833},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.29604873061180115}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8622413873672485},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5722811818122864},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5126277804374695},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5117990374565125},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5025928020477295},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.495383620262146},{"id":"https://openalex.org/C5977032","wikidata":"https://www.wikidata.org/wiki/Q5289815","display_name":"Domain engineering","level":5,"score":0.47001221776008606},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4692898690700531},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.46654701232910156},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4479776620864868},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3604925870895386},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3549165725708008},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33523374795913696},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3152085542678833},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.29604873061180115},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1080/08839510701853200","is_oa":true,"landing_page_url":"https://doi.org/10.1080/08839510701853200","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/08839510701853200?needAccess=true","source":{"id":"https://openalex.org/S125501549","display_name":"Applied Artificial Intelligence","issn_l":"0883-9514","issn":["0883-9514","1087-6545"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.139.2718","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2718","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.info.ucl.ac.be/~pdupont/pdupont/pdf/QSM_AAI_08.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.64.709","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.709","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.info.ucl.ac.be/~pdupont/pdupont/pdf/QSM_aai_draft_07.pdf","raw_type":"text"},{"id":"pmh:oai:dial.uclouvain.be:boreal:36781","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078.1/36781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Applied Artificial Intelligence : an international journal, Vol. 22, no. 1-2, p. 77-115 (2008)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1080/08839510701853200","is_oa":true,"landing_page_url":"https://doi.org/10.1080/08839510701853200","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/08839510701853200?needAccess=true","source":{"id":"https://openalex.org/S125501549","display_name":"Applied Artificial Intelligence","issn_l":"0883-9514","issn":["0883-9514","1087-6545"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6600000262260437,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1966283741.pdf","grobid_xml":"https://content.openalex.org/works/W1966283741.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W140384553","https://openalex.org/W1479856295","https://openalex.org/W1503079926","https://openalex.org/W1519265043","https://openalex.org/W1537084541","https://openalex.org/W1550099218","https://openalex.org/W1559171143","https://openalex.org/W1603299012","https://openalex.org/W1701438870","https://openalex.org/W1830954042","https://openalex.org/W1971715114","https://openalex.org/W1984666354","https://openalex.org/W1989445634","https://openalex.org/W2002089154","https://openalex.org/W2006210705","https://openalex.org/W2017603160","https://openalex.org/W2018706164","https://openalex.org/W2019363670","https://openalex.org/W2034227487","https://openalex.org/W2060910670","https://openalex.org/W2061607336","https://openalex.org/W2102071894","https://openalex.org/W2108571087","https://openalex.org/W2111757195","https://openalex.org/W2114575161","https://openalex.org/W2121764468","https://openalex.org/W2135220153","https://openalex.org/W2144576754","https://openalex.org/W2151451947","https://openalex.org/W2154774499","https://openalex.org/W2162157640","https://openalex.org/W2164440547","https://openalex.org/W2171816001","https://openalex.org/W4232678125","https://openalex.org/W4238893454","https://openalex.org/W4248946557","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2170664339","https://openalex.org/W2022869446","https://openalex.org/W2374471852","https://openalex.org/W2081073108","https://openalex.org/W1540171226","https://openalex.org/W2155435183","https://openalex.org/W2280685799","https://openalex.org/W1552185717","https://openalex.org/W2297548173","https://openalex.org/W2074804367"],"abstract_inverted_index":{"This":[0,19,29],"article":[1],"presents":[2],"a":[3,34],"novel":[4],"application":[5],"of":[6,13,16,26,50,104,110,117,154],"grammatical":[7],"inference":[8],"techniques":[9,132],"to":[10,77,80],"the":[11,24,51,63,81,115,122,136,152],"synthesis":[12,20],"behavior":[14],"models":[15,103],"software":[17,27,106],"systems.":[18],"is":[21,31,59,125],"used":[22],"for":[23],"elicitation":[25],"requirements.":[28],"problem":[30,39],"formulated":[32,96],"as":[33,97],"deterministic":[35],"finite-state":[36],"automaton":[37],"induction":[38],"from":[40],"positive":[41],"and":[42,66,70,102,119,139,148],"negative":[43],"scenarios":[44],"provided":[45],"by":[46,73,91],"an":[47],"end":[48,82],"user":[49],"software-to-be.":[52],"A":[53],"query-driven":[54],"state":[55],"merging":[56,85],"(QSM)":[57],"algorithm":[58],"proposed.":[60],"It":[61],"extends":[62],"Regular":[64],"Positive":[65],"Negative":[67],"Inference":[68],"(RPNI)":[69],"blue-fringe":[71],"algorithms":[72],"allowing":[74],"membership":[75],"queries":[76,118],"be":[78,88],"submitted":[79],"user.":[83],"State":[84],"operations":[86],"can":[87],"further":[89],"constrained":[90],"some":[92],"prior":[93],"domain":[94,100,111],"knowledge":[95,112],"fluents,":[98],"goals,":[99],"properties,":[101],"external":[105],"components.":[107],"The":[108,130],"incorporation":[109],"both":[113],"reduces":[114],"number":[116],"guarantees":[120],"that":[121],"induced":[123],"model":[124],"consistent":[126],"with":[127],"such":[128],"knowledge.":[129],"proposed":[131],"are":[133],"implemented":[134],"in":[135],"ISIS":[137],"tool":[138],"practical":[140],"evaluations":[141],"on":[142],"standard":[143],"requirements":[144],"engineering":[145],"test":[146],"cases":[147],"synthetic":[149],"data":[150],"illustrate":[151],"interest":[153],"this":[155],"approach.":[156]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":5}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}