@TECHREPORT{Gueheneuc02-TR-Caffeine,
   AUTHOR       = {Yann-Ga�l Gu�h�neuc and R�mi Douence and 
      Narendra Jussien},
   INSTITUTION  = {Computer Science Department, �cole des Mines de Nantes},
   TITLE        = {No Java Without Caffeine -- A Tool for Dynamic Analysis 
      of Java Programs},
   YEAR         = {2002},
   OPTADDRESS   = {},
   MONTH        = {May},
   NOTE         = {16 pages.},
   NUMBER       = {02/07/INFO},
   OPTTYPE      = {},
   KEYWORDS     = {Topic: <b>Binary class relations</b>},
   URL          = {http://www.ptidej.net/publications/documents/Research+report+Caffeine+May02.doc.pdf},
   ABSTRACT     = {To understand the behavior of a program, a maintainer 
      reads some code, asks a question about this code, conjectures an 
      answer, and searches the code and the documentation for confirmation 
      of her conjecture. However, the confirmation of the conjecture can be 
      error-prone and time-consuming because the maintainer only has static 
      information at her disposal. She would benefit from dynamic 
      information. In this paper, we present Caffeine{}, an assistant that 
      helps the maintainer in checking her conjecture about the behavior of 
      a Java{} program. Our assistant is a dynamic analysis tool that uses 
      the Java{} platform debug architecture to generate a trace, \ie{} an 
      execution history, and a \Prolog{} engine to perform queries over the 
      trace. We present a usage scenario based on the n-queens problem, and 
      two examples based on the Singleton design pattern and on the 
      composition relationship.}
}

{"_id":"CutWEPJ9yecY3Gi5F","bibbaseid":"guhneuc-douence-jussien-nojavawithoutcaffeineatoolfordynamicanalysisofjavaprograms-2002","downloads":0,"creationDate":"2018-01-17T20:29:42.614Z","title":"No Java Without Caffeine – A Tool for Dynamic Analysis of Java Programs","author_short":["Gu�h�neuc, Y.","Douence, R.","Jussien, N."],"year":2002,"bibtype":"techreport","biburl":"http://www.yann-gael.gueheneuc.net/Work/Publications/Biblio/complete-bibliography.bib","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Yann-Ga�l"],"propositions":[],"lastnames":["Gu�h�neuc"],"suffixes":[]},{"firstnames":["R�mi"],"propositions":[],"lastnames":["Douence"],"suffixes":[]},{"firstnames":["Narendra"],"propositions":[],"lastnames":["Jussien"],"suffixes":[]}],"institution":"Computer Science Department, �cole des Mines de Nantes","title":"No Java Without Caffeine – A Tool for Dynamic Analysis of Java Programs","year":"2002","optaddress":"","month":"May","note":"16 pages.","number":"02/07/INFO","opttype":"","keywords":"Topic: <b>Binary class relations</b>","url":"http://www.ptidej.net/publications/documents/Research+report+Caffeine+May02.doc.pdf","abstract":"To understand the behavior of a program, a maintainer reads some code, asks a question about this code, conjectures an answer, and searches the code and the documentation for confirmation of her conjecture. However, the confirmation of the conjecture can be error-prone and time-consuming because the maintainer only has static information at her disposal. She would benefit from dynamic information. In this paper, we present Caffeine, an assistant that helps the maintainer in checking her conjecture about the behavior of a Java program. Our assistant is a dynamic analysis tool that uses the Java platform debug architecture to generate a trace, ıe an execution history, and a ¶rolog engine to perform queries over the trace. We present a usage scenario based on the n-queens problem, and two examples based on the Singleton design pattern and on the composition relationship.","bibtex":"@TECHREPORT{Gueheneuc02-TR-Caffeine,\r\n AUTHOR = {Yann-Ga�l Gu�h�neuc and R�mi Douence and \r\n Narendra Jussien},\r\n INSTITUTION = {Computer Science Department, �cole des Mines de Nantes},\r\n TITLE = {No Java Without Caffeine -- A Tool for Dynamic Analysis \r\n of Java Programs},\r\n YEAR = {2002},\r\n OPTADDRESS = {},\r\n MONTH = {May},\r\n NOTE = {16 pages.},\r\n NUMBER = {02/07/INFO},\r\n OPTTYPE = {},\r\n KEYWORDS = {Topic: <b>Binary class relations</b>},\r\n URL = {http://www.ptidej.net/publications/documents/Research+report+Caffeine+May02.doc.pdf},\r\n ABSTRACT = {To understand the behavior of a program, a maintainer \r\n reads some code, asks a question about this code, conjectures an \r\n answer, and searches the code and the documentation for confirmation \r\n of her conjecture. However, the confirmation of the conjecture can be \r\n error-prone and time-consuming because the maintainer only has static \r\n information at her disposal. She would benefit from dynamic \r\n information. In this paper, we present Caffeine{}, an assistant that \r\n helps the maintainer in checking her conjecture about the behavior of \r\n a Java{} program. Our assistant is a dynamic analysis tool that uses \r\n the Java{} platform debug architecture to generate a trace, \\ie{} an \r\n execution history, and a \\Prolog{} engine to perform queries over the \r\n trace. We present a usage scenario based on the n-queens problem, and \r\n two examples based on the Singleton design pattern and on the \r\n composition relationship.}\r\n}\r\n\r\n","author_short":["Gu�h�neuc, Y.","Douence, R.","Jussien, N."],"key":"Gueheneuc02-TR-Caffeine","id":"Gueheneuc02-TR-Caffeine","bibbaseid":"guhneuc-douence-jussien-nojavawithoutcaffeineatoolfordynamicanalysisofjavaprograms-2002","role":"author","urls":{"Paper":"http://www.ptidej.net/publications/documents/Research+report+Caffeine+May02.doc.pdf"},"keyword":["Topic: <b>Binary class relations</b>"],"metadata":{"authorlinks":{"gu�h�neuc, y":"https://bibbase.org/show?bib=http%3A%2F%2Fwww.yann-gael.gueheneuc.net%2FWork%2FPublications%2FBiblio%2Fcomplete-bibliography.bib&msg=embed","guéhéneuc, y":"http://www.yann-gael.gueheneuc.net/"}}},"search_terms":["java","without","caffeine","tool","dynamic","analysis","java","programs","gu�h�neuc","douence","jussien"],"keywords":["topic: <b>binary class relations</b>"],"authorIDs":["AfJhKcg96muyPdu7S","xkviMnkrGBneANvMr"],"dataSources":["Sed98LbBeGaXxenrM","8vn5MSGYWB4fAx9Z4"]}