Inproceedings,
Lazy preemption to enable path-based analysis of interrupt-driven code.
W. Le, J. Yang, M. Soffa, and K. Whitehouse.SESENA@ICSE, page 43-48. ACM, (2011)
Meta data
- BibTeX key
- conf/icse/Le0SW11
- entry type
- inproceedings
- booktitle
- SESENA@ICSE
- year
- 2011
- pages
- 43-48
- publisher
- ACM
- crossref
- conf/icse/2011sesena
- ee
- https://doi.org/10.1145/1988051.1988060
- isbn
- 978-1-4503-0583-9
- url
- http://dblp.uni-trier.de/db/conf/icse/sesena2011.html#Le0SW11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/Le0SW11
%A Le, Wei
%A Yang, Jing
%A Soffa, Mary Lou
%A Whitehouse, Kamin
%B SESENA@ICSE
%D 2011
%E Geihs, Kurt
%E Römer, Kay
%E Mottola, Luca
%E Picco, Gian Pietro
%I ACM
%K dblp
%P 43-48
%T Lazy preemption to enable path-based analysis of interrupt-driven code.
%U http://dblp.uni-trier.de/db/conf/icse/sesena2011.html#Le0SW11
%@ 978-1-4503-0583-9
@inproceedings{conf/icse/Le0SW11,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Le, Wei and Yang, Jing and Soffa, Mary Lou and Whitehouse, Kamin},
biburl = {https://www.bibsonomy.org/bibtex/23f7035727c9f5904f3f36917599a3b7b/dblp},
booktitle = {SESENA@ICSE},
crossref = {conf/icse/2011sesena},
editor = {Geihs, Kurt and Römer, Kay and Mottola, Luca and Picco, Gian Pietro},
ee = {https://doi.org/10.1145/1988051.1988060},
interhash = {40c63d1b1d04acd5139a9b5ec83ff522},
intrahash = {3f7035727c9f5904f3f36917599a3b7b},
isbn = {978-1-4503-0583-9},
keywords = {dblp},
pages = {43-48},
publisher = {ACM},
timestamp = {2018-11-07T15:55:37.000+0100},
title = {Lazy preemption to enable path-based analysis of interrupt-driven code.},
url = {http://dblp.uni-trier.de/db/conf/icse/sesena2011.html#Le0SW11},
year = 2011
}