Prof. Dr. Jan Jürjens - Veröffentlichungen nach Thema
Code-Analyse

Disclaimer

  • S. Pape, J. Flake, A. Beckmann, J. Jürjens: STAGE - A Software Tool for Automatic Grading of Testing Exercises. In: 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET), pp. 10, 2016.
    @InProceedings{icse16seet, author = {S.~Pape and J.~Flake and A.~Beckmann and J.~{J}{\"u}{r}jens}, title = {{STAGE} -- A Software Tool for Automatic Grading of Testing Exercises}, booktitle = {38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET)}, year = {2016}, pages = {10}, keywords = {internationalConferences, codeAnalysis}, }
     BibTeX 
  • S. Wagner, J. Jürjens, C. Koller, P. Trischberger: A Case Study Comparing Bug Finding Tools with Reviews and Tests. In: Testcom, Springer Verlag, Lecture Notes in Computer Science, vol. 3502, pp. 40-55, 2005.
    @InProceedings{acscbft05, author = {S.~Wagner and J.~{J}{\"u}{r}jens and C.~Koller and P.~Trischberger}, title = {A Case Study Comparing Bug Finding Tools with Reviews and Tests}, booktitle = {Testcom}, year = {2005}, series = {Lecture Notes in Computer Science}, pages = {40--55}, volume = {3502}, publisher = {Springer Verlag}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9397}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/testcom05.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007/11430230_4:URL}, keywords = {internationalConferences, codeAnalysis}, }
     BibTeX   DOI   preprint   dblp   SpringerLink 
  • J. Jürjens: Games in the Semantics of Programming Languages. In: Journal Synthese, vol. 133, no. 1-2, pp. 131-158, 2002.
    @Article{gspl02, author = {J.~{J}{\"u}{r}jens}, title = {Games in the Semantics of Programming Languages}, journal = {Journal Synthese}, year = {2002}, volume = {133}, number = {1-2}, pages = {131--158}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.69}, file = {paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/gamesrevd.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/gamesrevd.ps:URL;paper (gz):http\://rgse.uni-koblenz.de/jj/publications/papers/gamesrevd.ps.gz:URL;SpringerLink:http://link.springer.com/article/10.1023/A%3A1020883810034:URL}, keywords = {programmingLanguageSemantics, codeAnalysis}, URL = {http://www.wkap.nl/journalhome.htm/0039-7857}, }
     BibTeX   DOI   URL   paper (pdf)   paper (ps)   paper (gz)   SpringerLink