@inproceedings{DBLP:conf/atva/AzzopardiLPS23,
  author       = {Shaun Azzopardi and
                  David Lidell and
                  Nir Piterman and
                  Gerardo Schneider},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {276--287},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_15},
  doi          = {10.1007/978-3-031-45332-8\_15},
  timestamp    = {Fri, 27 Oct 2023 20:40:26 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/AzzopardiLPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"G3nGHo5ukvDEPrfqn","bibbaseid":"azzopardi-lidell-piterman-schneider-ppltltttemporaltestingforpurepastlineartemporallogicformulae-2023","author_short":["Azzopardi, S.","Lidell, D.","Piterman, N.","Schneider, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Lidell"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Piterman"],"suffixes":[]},{"firstnames":["Gerardo"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]}],"editor":[{"firstnames":["Étienne"],"propositions":[],"lastnames":["André"],"suffixes":[]},{"firstnames":["Jun"],"propositions":[],"lastnames":["Sun"],"suffixes":[]}],"title":"ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae","booktitle":"Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II","series":"Lecture Notes in Computer Science","volume":"14216","pages":"276–287","publisher":"Springer","year":"2023","url":"https://doi.org/10.1007/978-3-031-45332-8\\_15","doi":"10.1007/978-3-031-45332-8_15","timestamp":"Fri, 27 Oct 2023 20:40:26 +0200","biburl":"https://dblp.org/rec/conf/atva/AzzopardiLPS23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atva/AzzopardiLPS23,\n author = {Shaun Azzopardi and\n David Lidell and\n Nir Piterman and\n Gerardo Schneider},\n editor = {{\\'{E}}tienne Andr{\\'{e}} and\n Jun Sun},\n title = {ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae},\n booktitle = {Automated Technology for Verification and Analysis - 21st International\n Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,\n Part {II}},\n series = {Lecture Notes in Computer Science},\n volume = {14216},\n pages = {276--287},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-3-031-45332-8\\_15},\n doi = {10.1007/978-3-031-45332-8\\_15},\n timestamp = {Fri, 27 Oct 2023 20:40:26 +0200},\n biburl = {https://dblp.org/rec/conf/atva/AzzopardiLPS23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Azzopardi, S.","Lidell, D.","Piterman, N.","Schneider, G."],"editor_short":["André, É.","Sun, J."],"key":"DBLP:conf/atva/AzzopardiLPS23","id":"DBLP:conf/atva/AzzopardiLPS23","bibbaseid":"azzopardi-lidell-piterman-schneider-ppltltttemporaltestingforpurepastlineartemporallogicformulae-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-45332-8\\_15"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["ppltltt","temporal","testing","pure","past","linear","temporal","logic","formulae","azzopardi","lidell","piterman","schneider"],"title":"ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae","year":2023}