Understanding programming bugs in ANSI-C software using bounded model checking counter-examples

H. Rocha; R. Barreto; L. Cordeiro; A.D. Neto

doi:10.1007/978-3-642-30729-4_10

Understanding programming bugs in ANSI-C software using bounded model checking counter-examples

H. Rocha
, R. Barreto
, L. Cordeiro
, A.D. Neto

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Integrated Formal Methods
Subtitle of host publication	9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Editors	John Derrick , Stefania Gnesi , Diego Latella , Helen Treharne
Publisher	Springer Nature
Pages	128–142
Number of pages	15
ISBN (Print)	9783642307287
DOIs	https://doi.org/10.1007/978-3-642-30729-4_10
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Computer Science (LNCS, volume 7321)

Name	Programming and Software Engineering (LNPSE)

Name	IFM: International Conference on Integrated Formal Methods

Access to Document

10.1007/978-3-642-30729-4_10

Cite this

Rocha, H., Barreto, R., Cordeiro, L., & Neto, A. D. (2012). Understanding programming bugs in ANSI-C software using bounded model checking counter-examples. In J. D., S. G., D. L., & H. T. (Eds.), Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (pp. 128–142). (Lecture Notes in Computer Science (LNCS, volume 7321)), (Programming and Software Engineering (LNPSE)), (IFM: International Conference on Integrated Formal Methods). Springer Nature. https://doi.org/10.1007/978-3-642-30729-4_10

Rocha, H. ; Barreto, R. ; Cordeiro, L. et al. / Understanding programming bugs in ANSI-C software using bounded model checking counter-examples. Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. editor / John Derrick ; Stefania Gnesi ; Diego Latella ; Helen Treharne. Springer Nature, 2012. pp. 128–142 (Lecture Notes in Computer Science (LNCS, volume 7321)). (Programming and Software Engineering (LNPSE)). (IFM: International Conference on Integrated Formal Methods).

@inproceedings{f68679477a0e487a919337b13242d54d,

title = "Understanding programming bugs in ANSI-C software using bounded model checking counter-examples",

author = "H. Rocha and R. Barreto and L. Cordeiro and A.D. Neto",

year = "2012",

doi = "10.1007/978-3-642-30729-4\_10",

language = "English",

isbn = "9783642307287",

series = "Lecture Notes in Computer Science (LNCS, volume 7321)",

publisher = "Springer Nature",

pages = "128–142",

editor = "\{John Derrick\} and \{ Stefania Gnesi\} and \{Diego Latella\} and \{Helen Treharne\}",

booktitle = "Integrated Formal Methods",

address = "United States",

}

Rocha, H, Barreto, R, Cordeiro, L & Neto, AD 2012, Understanding programming bugs in ANSI-C software using bounded model checking counter-examples. in JD, SG, DL & HT (eds), Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science (LNCS, volume 7321), Programming and Software Engineering (LNPSE), IFM: International Conference on Integrated Formal Methods, Springer Nature, pp. 128–142. https://doi.org/10.1007/978-3-642-30729-4_10

Understanding programming bugs in ANSI-C software using bounded model checking counter-examples. / Rocha, H.; Barreto, R.; Cordeiro, L. et al.
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. ed. / John Derrick; Stefania Gnesi; Diego Latella; Helen Treharne. Springer Nature, 2012. p. 128–142 (Lecture Notes in Computer Science (LNCS, volume 7321)), (Programming and Software Engineering (LNPSE)), (IFM: International Conference on Integrated Formal Methods).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Understanding programming bugs in ANSI-C software using bounded model checking counter-examples

AU - Rocha, H.

AU - Barreto, R.

AU - Cordeiro, L.

AU - Neto, A.D.

PY - 2012

Y1 - 2012

UR - https://www.scopus.com/pages/publications/84864346852

U2 - 10.1007/978-3-642-30729-4_10

DO - 10.1007/978-3-642-30729-4_10

M3 - Conference contribution

SN - 9783642307287

T3 - Lecture Notes in Computer Science (LNCS, volume 7321)

SP - 128

EP - 142

BT - Integrated Formal Methods

A2 - , John Derrick

A2 - , Stefania Gnesi

A2 - , Diego Latella

A2 - , Helen Treharne

PB - Springer Nature

ER -

Rocha H, Barreto R, Cordeiro L, Neto AD. Understanding programming bugs in ANSI-C software using bounded model checking counter-examples. In JD, SG, DL, HT, editors, Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Springer Nature. 2012. p. 128–142. (Lecture Notes in Computer Science (LNCS, volume 7321)). (Programming and Software Engineering (LNPSE)). (IFM: International Conference on Integrated Formal Methods). doi: 10.1007/978-3-642-30729-4_10

Understanding programming bugs in ANSI-C software using bounded model checking counter-examples

Publication series

Access to Document

Other files and links

Cite this