{"id":"https://openalex.org/W2098462076","doi":"https://doi.org/10.1109/ase.2002.1115000","title":"No Java without caffeine: A tool for dynamic analysis of Java programs","display_name":"No Java without caffeine: A tool for dynamic analysis of Java programs","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2098462076","doi":"https://doi.org/10.1109/ase.2002.1115000","mag":"2098462076"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2002.1115000","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1115000","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","raw_type":"proceedings-article"},"type":"preprint","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/A5048594006","display_name":"Yann\u2010Ga\u00ebl Gu\u00e9h\u00e9neuc","orcid":"https://orcid.org/0000-0002-4361-2563"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Y.-G. Gueheneuc","raw_affiliation_strings":["Ecole des Mines de Nantes, France"],"affiliations":[{"raw_affiliation_string":"Ecole des Mines de Nantes, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082736715","display_name":"R\u00e9mi Douence","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"R. Douence","raw_affiliation_strings":["Ecole des Mines de Nantes, France"],"affiliations":[{"raw_affiliation_string":"Ecole des Mines de Nantes, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015355338","display_name":"Narendra Jussien","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"N. Jussien","raw_affiliation_strings":["Ecole des Mines de Nantes, France"],"affiliations":[{"raw_affiliation_string":"Ecole des Mines de Nantes, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048594006"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.2586,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.96298092,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"41","issue":null,"first_page":"117","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8576757907867432},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8142895698547363},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.765433669090271},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7060995697975159},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6601698398590088},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.6226367950439453},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.6052930951118469},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.5877476334571838},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.4939740300178528},{"id":"https://openalex.org/keywords/strictfp","display_name":"strictfp","score":0.47998544573783875},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.47413063049316406},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4512627422809601},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35582298040390015},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.34328389167785645}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8576757907867432},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8142895698547363},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.765433669090271},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7060995697975159},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6601698398590088},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.6226367950439453},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.6052930951118469},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.5877476334571838},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.4939740300178528},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.47998544573783875},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.47413063049316406},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4512627422809601},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35582298040390015},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.34328389167785645},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"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":5,"locations":[{"id":"doi:10.1109/ase.2002.1115000","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2002.1115000","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.150.1865","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.1865","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-etud.iro.umontreal.ca/~ptidej/Publications/Documents/ASE02.doc.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.18.5832","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.5832","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.yann-gael.gueheneuc.net/Work/Publications/Documents/Research+report+Caffeine+May02.doc.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.19.1185","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.1185","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.yann-gael.gueheneuc.net/Work/Publications/Documents/ASE02.doc.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00869117v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00869117","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ASE'02: 17th IEEE conference on Automated Software Engineering, Sep 2002, Edinburgh, UK, Romania. pp.117--126, ⟨10.1109/ASE.2002.1115000⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W448532","https://openalex.org/W43441413","https://openalex.org/W116065029","https://openalex.org/W127224647","https://openalex.org/W175527019","https://openalex.org/W1485766696","https://openalex.org/W1550487903","https://openalex.org/W1596215849","https://openalex.org/W1649645444","https://openalex.org/W1689913591","https://openalex.org/W1740522204","https://openalex.org/W1910771831","https://openalex.org/W1923579057","https://openalex.org/W1970558557","https://openalex.org/W2017061765","https://openalex.org/W2050349524","https://openalex.org/W2063169555","https://openalex.org/W2099645986","https://openalex.org/W2137284052","https://openalex.org/W2151702129","https://openalex.org/W2171480813","https://openalex.org/W2949445571","https://openalex.org/W4213079124","https://openalex.org/W4234799807","https://openalex.org/W6629210407","https://openalex.org/W6637618525","https://openalex.org/W6680331447"],"related_works":["https://openalex.org/W3172992491","https://openalex.org/W2541866089","https://openalex.org/W1974508891","https://openalex.org/W2547095320","https://openalex.org/W412736943","https://openalex.org/W4210979912","https://openalex.org/W1572758480","https://openalex.org/W2186199411","https://openalex.org/W1519944186","https://openalex.org/W2066931381"],"abstract_inverted_index":{"To":[0],"understand":[1],"the":[2,23,26,34,37,45,70,77,92,113,122,131,137],"behavior":[3,78],"of":[4,30,36,79],"a":[5,7,13,80,86,99,106,117],"program,":[6],"maintainer":[8,46,71],"reads":[9],"some":[10],"code,":[11,17],"asks":[12],"question":[14],"about":[15,76],"this":[16,61],"conjectures":[18],"an":[19,66,102],"answer,":[20],"and":[21,25,42,105,125,135],"searches":[22],"code":[24],"documentation":[27],"for":[28],"confirmation":[29,35],"her":[31,52,74],"conjecture.":[32],"However,":[33],"conjecture":[38,75],"can":[39],"be":[40],"error-prone":[41],"time-consuming":[43],"because":[44],"has":[47],"only":[48],"static":[49],"information":[50],"at":[51],"disposal.":[53],"She":[54],"would":[55],"benefit":[56],"from":[57],"dynamic":[58,87],"information.":[59],"In":[60],"paper,":[62],"we":[63],"present":[64,116],"Caffeine,":[65],"assistant":[67,84],"that":[68,90],"helps":[69],"in":[72],"checking":[73],"Java":[81,93],"program.":[82],"Our":[83],"is":[85],"analysis":[88],"tool":[89],"uses":[91],"platform":[94],"debug":[95],"architecture":[96],"to":[97,109],"generate":[98],"trace,":[100],"i.e.,":[101],"execution":[103],"history,":[104],"Prolog":[107],"engine":[108],"perform":[110],"queries":[111],"over":[112],"trace.":[114],"We":[115],"usage":[118],"scenario":[119],"based":[120,129],"on":[121,130,136],"n-queens":[123],"problem,":[124],"two":[126],"real-life":[127],"examples":[128],"Singleton":[132],"design":[133],"pattern":[134],"composition":[138],"relationship.":[139]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}