Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs (bibtex)
by Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè
Reference:
Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro PezzèIn ISSTA '17: Proceedings of the International Symposium on Software Testing and Analysis, ACM, 2017
Bibtex Entry:
@string{lumi="STAR,LTA"}
@string{issta="Proceedings of the International Symposium on Software Testing and Analysis"}
@string{acm="ACM"}
@inproceedings{Braione:SUSHI:ISSTA:2017,
  groups = LUMI,
  author = {Braione, Pietro and Denaro, Giovanni and Mattavelli, Andrea and Pezz{\`e}, Mauro},
  title = {Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs},
  booktitle = ISSTA,
  series = {ISSTA '17},
  publisher = ACM,
  pages = {90--101},
  year = 2017
}
Powered by bibtexbrowser