@inproceedings{atva23,
title={ppLTLTT: Temporal testing for pure-past linear temporal logic formulae}, 
author={Lidell, David and Azzopardi, Shaun and Piterman, Nir and Schneider, Gerardo},
year="2023",
booktitle="Automated Technology for Verification and Analysis (ATVA)"
}

{"_id":"QQoeZdY5MnPBCwPej","bibbaseid":"lidell-azzopardi-piterman-schneider-ppltltttemporaltestingforpurepastlineartemporallogicformulae-2023","author_short":["Lidell, D.","Azzopardi, S.","Piterman, N.","Schneider, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"ppLTLTT: Temporal testing for pure-past linear temporal logic formulae","author":[{"propositions":[],"lastnames":["Lidell"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Piterman"],"firstnames":["Nir"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]}],"year":"2023","booktitle":"Automated Technology for Verification and Analysis (ATVA)","bibtex":"@inproceedings{atva23,\ntitle={ppLTLTT: Temporal testing for pure-past linear temporal logic formulae}, \nauthor={Lidell, David and Azzopardi, Shaun and Piterman, Nir and Schneider, Gerardo},\nyear=\"2023\",\nbooktitle=\"Automated Technology for Verification and Analysis (ATVA)\"\n}\n\n\n","author_short":["Lidell, D.","Azzopardi, S.","Piterman, N.","Schneider, G."],"key":"atva23","id":"atva23","bibbaseid":"lidell-azzopardi-piterman-schneider-ppltltttemporaltestingforpurepastlineartemporallogicformulae-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["ppltltt","temporal","testing","pure","past","linear","temporal","logic","formulae","lidell","azzopardi","piterman","schneider"],"title":"ppLTLTT: Temporal testing for pure-past linear temporal logic formulae","year":2023}