Time-Constraint-Aware Optimization of Assertions in Embedded Software

Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Masahiro Fujita. Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electronic Testing, 28(4):469-486, 2012. [doi]

@article{IzosimovGLPFPF12,
  title = {Time-Constraint-Aware Optimization of Assertions in Embedded Software},
  author = {Viacheslav Izosimov and Giuseppe Di Guglielmo and Michele Lora and Graziano Pravadelli and Franco Fummi and Zebo Peng and Masahiro Fujita},
  year = {2012},
  doi = {10.1007/s10836-012-5316-1},
  url = {http://dx.doi.org/10.1007/s10836-012-5316-1},
  researchr = {https://researchr.org/publication/IzosimovGLPFPF12},
  cites = {0},
  citedby = {0},
  journal = {J. Electronic Testing},
  volume = {28},
  number = {4},
  pages = {469-486},
}