Dynamic Shape Analysis Using Spectral Graph Properties

Muhammad Zubair Malik, Sarfraz Khurshid. Dynamic Shape Analysis Using Spectral Graph Properties. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 211-220, IEEE, 2012. [doi]

@inproceedings{MalikK12,
  title = {Dynamic Shape Analysis Using Spectral Graph Properties},
  author = {Muhammad Zubair Malik and Sarfraz Khurshid},
  year = {2012},
  doi = {10.1109/ICST.2012.101},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.101},
  researchr = {https://researchr.org/publication/MalikK12},
  cites = {0},
  citedby = {0},
  pages = {211-220},
  booktitle = {2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012},
  editor = {Giuliano Antoniol and Antonia Bertolino and Yvan Labiche},
  publisher = {IEEE},
  isbn = {978-1-4577-1906-6},
}