doc-src/isac/msteger/bakk-arbeit/master_thesis.bib
branchdecompose-isar
changeset 42073 66e84277dacf
parent 42072 43e00b47ae9d
equal deleted inserted replaced
42072:43e00b47ae9d 42073:66e84277dacf
     7   publisher = 	 {Springer-Verlag},
     7   publisher = 	 {Springer-Verlag},
     8   year = 	 {2003},
     8   year = 	 {2003},
     9   volume = 	 {2757},
     9   volume = 	 {2757},
    10   series = 	 {Lecture Notes in Computer Science},
    10   series = 	 {Lecture Notes in Computer Science},
    11   address = 	 {Lisbon, Portugal},
    11   address = 	 {Lisbon, Portugal},
    12   month = 	 {March 18–20, 2002}
    12   month = 	 {March 18-20, 2002}
    13 }
    13 }
    14 
    14 
    15 @InCollection{aichernig:mut-test,
    15 @InCollection{aichernig:mut-test,
    16   author = 	 {Aichernig, Bernhard},
    16   author = 	 {Aichernig, Bernhard},
    17   title = 	 {A systematic introduction to mutation testing in unifying theories of programming},
    17   title = 	 {A systematic introduction to mutation testing in unifying theories of programming},
    18   booktitle = 	 {Testing Techniques in Software Engineering},
    18   booktitle = 	 {Testing Techniques in Software Engineering},
    19   pages = 	 {243-287},
    19   pages = 	 {243--287},
    20   publisher = {Springer Berlin / Heidelberg},
    20   publisher = {Springer Berlin / Heidelberg},
    21   year = 	 {2010},
    21   year = 	 {2010},
    22   editor = 	 {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim},
    22   editor = 	 {Borba, Paulo and Cavalcanti, Ana and Sampaio, Augusto and Woodcook, Jim},
    23   volume = 	 {6153},
    23   volume = 	 {6153},
    24   series = 	 {Lecture Notes in Computer Science}
    24   series = 	 {Lecture Notes in Computer Science}