{"id":"https://openalex.org/W2088137140","doi":"https://doi.org/10.1145/1858996.1859071","title":"Impendulo","display_name":"Impendulo","publication_year":2010,"publication_date":"2010-09-20","ids":{"openalex":"https://openalex.org/W2088137140","doi":"https://doi.org/10.1145/1858996.1859071","mag":"2088137140"},"language":"en","primary_location":{"id":"doi:10.1145/1858996.1859071","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1858996.1859071","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"},"type":"article","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/A5088454541","display_name":"Willem Visser","orcid":"https://orcid.org/0000-0002-0913-3091"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"Willem Visser","raw_affiliation_strings":["Stellenbosch University, Matieland, South Africa"],"affiliations":[{"raw_affiliation_string":"Stellenbosch University, Matieland, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050494871","display_name":"Jaco Geldenhuys","orcid":"https://orcid.org/0000-0002-5636-6656"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Jaco Geldenhuys","raw_affiliation_strings":["Stellenbosch University, Matieland, South Africa"],"affiliations":[{"raw_affiliation_string":"Stellenbosch University, Matieland, South Africa","institution_ids":["https://openalex.org/I26092322"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088454541"],"corresponding_institution_ids":["https://openalex.org/I26092322"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.20111955,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"351","last_page":"352"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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.9994999766349792,"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.9991000294685364,"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/programmer","display_name":"Programmer","score":0.8172426819801331},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7958160638809204},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.664690375328064},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5640079379081726},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44043707847595215}],"concepts":[{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.8172426819801331},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7958160638809204},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.664690375328064},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5640079379081726},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44043707847595215},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1858996.1859071","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1858996.1859071","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1986453394","https://openalex.org/W2042465741","https://openalex.org/W2079811725","https://openalex.org/W2087527532"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2379153735","https://openalex.org/W2046172023","https://openalex.org/W2972896947","https://openalex.org/W2170146914","https://openalex.org/W2355105570","https://openalex.org/W622882839","https://openalex.org/W2185017216","https://openalex.org/W2016345697"],"abstract_inverted_index":{"We":[0,92],"describe":[1,94],"the":[2,22,47,74,85,95,100],"Impendulo":[3],"tool":[4,48,96],"for":[5],"fine-grained":[6],"analyses":[7],"of":[8,28,78,87,99],"programmer":[9],"behavior.":[10],"The":[11],"initial":[12],"design":[13],"goal":[14],"was":[15],"to":[16,20,52],"create":[17],"a":[18,88],"system":[19],"answer":[21],"following":[23],"simple":[24],"question:":[25],"\"What":[26],"kind":[27],"mistakes":[29],"do":[30,36],"programmers":[31],"make":[32,38],"and":[33,97],"how":[34,62],"often":[35],"they":[37],"these":[39],"mistakes?\"":[40],"However":[41],"it":[42],"quickly":[43],"became":[44],"apparent":[45],"that":[46],"can":[49],"be":[50],"used":[51],"also":[53],"analyze":[54],"other":[55],"fundamental":[56],"software":[57],"engineering":[58],"questions,":[59],"such":[60],"as,":[61],"good":[63],"are":[64],"static":[65],"analysis":[66],"tools":[67],"at":[68],"finding":[69,76],"real":[70],"errors?,":[71],"what":[72,83],"is":[73,84],"fault":[75],"capability":[77],"automated":[79],"test":[80],"generation":[81],"tools?,":[82],"influence":[86],"bad":[89],"specification?,":[90],"etc.":[91],"briefly":[93],"some":[98],"insights":[101],"gained":[102],"from":[103],"using":[104],"it.":[105]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}