-
3
-
-
34748831643
-
Thorough static analysis of device drivers
-
Leuven, Belgium, Apr.
-
T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. In The first ACM SIGOPS EuroSys conference (EuroSys 2006), pages 73-85, Leuven, Belgium, Apr. 2006.
-
(2006)
The First ACM SIGOPS EuroSys Conference (EuroSys 2006)
, pp. 73-85
-
-
Ball, T.1
Bounimova, E.2
Cook, B.3
Levin, V.4
Lichtenberg, J.5
McGarvey, C.6
Ondrusek, B.7
Rajamani, S.K.8
Ustuner, A.9
-
4
-
-
0034325359
-
Enumerating longest increasing subsequences and patience sorting
-
Nov.
-
S. Bespamyatnikh and M. Segal. Enumerating longest increasing subsequences and patience sorting. Information Processing Letters, 76(1-2):7-13, Nov. 2000.
-
(2000)
Information Processing Letters
, vol.76
, Issue.1-2
, pp. 7-13
-
-
Bespamyatnikh, S.1
Segal, M.2
-
5
-
-
57849089183
-
Assessing the value of coding standards: An empirical study
-
Beijing, China, Sept.
-
C. Boogerd and L. Moonen. Assessing the value of coding standards: An empirical study. In IEEE International Conference on Software Maintenance, 2008. ICSM 2008, pages 277-286, Beijing, China, Sept. 2008.
-
(2008)
IEEE International Conference on Software Maintenance, 2008. ICSM 2008
, pp. 277-286
-
-
Boogerd, C.1
Moonen, L.2
-
6
-
-
67649837202
-
A foundation for ow-based program matching using temporal logic and model checking
-
Savannah, GA, USA, Jan.
-
J. Brunel, D. Doligez, R. R. Hansen, J. Lawall, and G. Muller. A foundation for ow-based program matching using temporal logic and model checking. In The 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 114-126, Savannah, GA, USA, Jan. 2009.
-
(2009)
The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 114-126
-
-
Brunel, J.1
Doligez, D.2
Hansen, R.R.3
Lawall, J.4
Muller, G.5
-
7
-
-
0036041421
-
An empirical study of operating systems errors
-
Banff, Canada, Oct.
-
A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating System Principles, pages 73-88, Banff, Canada, Oct. 2001.
-
(2001)
Proceedings of the 18th ACM Symposium on Operating System Principles
, pp. 73-88
-
-
Chou, A.1
Yang, J.2
Chelf, B.3
Hallem, S.4
Engler, D.5
-
8
-
-
34548815895
-
Varieties of static analyzers: A comparison with ASTRÉE
-
Shanghai, China, June
-
P. Cousot, R. Cousot, J. Feret, A. Mine, L. Mauborgne, D. Monniaux, and X. Rival. Varieties of static analyzers: A comparison with ASTRÉE. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, pages 3-20, Shanghai, China, June 2007.
-
(2007)
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
, pp. 3-20
-
-
Cousot, P.1
Cousot, R.2
Feret, J.3
Mine, A.4
Mauborgne, L.5
Monniaux, D.6
Rival, X.7
-
10
-
-
67650809815
-
Extraction of bug localization benchmarks from history
-
Atlanta, GA, USA, Nov.
-
V. Dallmeier and T. Zimmermann. Extraction of bug localization benchmarks from history. In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pages 433-436, Atlanta, GA, USA, Nov. 2007.
-
(2007)
ASE '07: Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering
, pp. 433-436
-
-
Dallmeier, V.1
Zimmermann, T.2
-
12
-
-
84975277890
-
Checking system rules using system-specifc, programmer-written compiler extensions
-
San Diego, CA, Oct.
-
D. R. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specifc, programmer-written compiler extensions. In Fourth USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 1-16, San Diego, CA, Oct. 2000.
-
(2000)
Fourth USENIX Symposium on Operating Systems Design and Implementation (OSDI)
, pp. 1-16
-
-
Engler, D.R.1
Chelf, B.2
Chou, A.3
Hallem, S.4
-
13
-
-
77956619193
-
Populating a release history database from version control and bug tracking systems
-
Amsterdam, The Netherlands, Sept.
-
M. Fischer, M. Pinzger, and H. Gall. Populating a release history database from version control and bug tracking systems. In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on, pages 23-32, Amsterdam, The Netherlands, Sept. 2003.
-
(2003)
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on
, pp. 23-32
-
-
Fischer, M.1
Pinzger, M.2
Gall, H.3
-
18
-
-
34548725569
-
Automatic inference of structural changes for matching across program versions
-
Minneapolis, MN, USA, IEEE Computer Society
-
M. Kim, D. Notkin, and D. Grossman. Automatic inference of structural changes for matching across program versions. In ICSE '07: Proceedings of the 29th international conference on Software Engineering, pages 333-343, Minneapolis, MN, USA, 2007. IEEE Computer Society.
-
(2007)
ICSE '07: Proceedings of the 29th International Conference on Software Engineering
, pp. 333-343
-
-
Kim, M.1
Notkin, D.2
Grossman, D.3
-
19
-
-
32344450436
-
An empirical study of code clone genealogies
-
Lisbon, Portugal, Sept.
-
M. Kim, V. Sazawal, D. Notkin, and G. Murphy. An empirical study of code clone genealogies. In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 187-196, Lisbon, Portugal, Sept. 2005.
-
(2005)
ESEC/FSE-13: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering
, pp. 187-196
-
-
Kim, M.1
Sazawal, V.2
Notkin, D.3
Murphy, G.4
-
21
-
-
77952272364
-
Enforcing the use of API functions in Linux code
-
Charlottesville, VA, USA, Mar.
-
J. Lawall, G. Muller, and N. Palix. Enforcing the use of API functions in Linux code. In 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '09), pages 7-11, Charlottesville, VA, USA, Mar. 2009.
-
(2009)
8th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '09)
, pp. 7-11
-
-
Lawall, J.1
Muller, G.2
Palix, N.3
-
22
-
-
70449976317
-
WYSIWIB: A declarative approach to finding protocols and bugs in Linux code
-
Estoril, Portugal, June
-
J. L. Lawall, J. Brunel, R. R. Hansen, H. Stuart, G. Muller, and N. Palix. WYSIWIB: A declarative approach to finding protocols and bugs in Linux code. In The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, (DSN 2009), pages 43-52, Estoril, Portugal, June 2009.
-
(2009)
The 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, (DSN 2009)
, pp. 43-52
-
-
Lawall, J.L.1
Brunel, J.2
Hansen, R.R.3
Stuart, H.4
Muller, G.5
Palix, N.6
-
23
-
-
34547229642
-
Have things changed now?: An empirical study of bug characteristics in modern open source software
-
San Jose, CA, USA
-
Z. Li, L. Tan, X. Wang, S. Lu, Y. Zhou, and C. Zhai. Have things changed now?: an empirical study of bug characteristics in modern open source software. In Proceedings of the 1st workshop on Architectural and system support for improving software dependability, pages 25-33, San Jose, CA, USA, 2006.
-
(2006)
Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability
, pp. 25-33
-
-
Li, Z.1
Tan, L.2
Wang, X.3
Lu, S.4
Zhou, Y.5
Zhai, C.6
-
24
-
-
77952250740
-
-
Linux kernel. http://kernel.org/.
-
-
-
-
27
-
-
77952266019
-
-
Mitre. Common Weakness Enumeration. http://cwe.mitre.org/.
-
-
-
-
28
-
-
67650085819
-
Valgrind: A framework for heavyweight dynamic binary instrumentation
-
San Diego, CA, USA
-
N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pages 89-100, San Diego, CA, USA, 2007.
-
(2007)
PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation
, pp. 89-100
-
-
Nethercote, N.1
Seward, J.2
-
29
-
-
77952246689
-
-
OpenSSL. http://www.openssl.org/.
-
-
-
-
30
-
-
77952255222
-
-
Org-mode homepage
-
Org-mode homepage. http://orgmode.org/.
-
-
-
-
31
-
-
77952224331
-
Documenting and automating collateral evolutions in Linux device drivers
-
Glasgow, Scotland, Mar.
-
Y. Padioleau, J. Lawall, R. R. Hansen, and G. Muller. Documenting and automating collateral evolutions in Linux device drivers. In EuroSys 2008, pages 247-260, Glasgow, Scotland, Mar. 2008.
-
(2008)
EuroSys 2008
, pp. 247-260
-
-
Padioleau, Y.1
Lawall, J.2
Hansen, R.R.3
Muller, G.4
-
32
-
-
85086057735
-
When do changes induce xes?
-
Saint Louis, MO, USA, May
-
J. Śliwerski, T. Zimmermann, and A. Zeller. When do changes induce xes? In MSR '05: Proceedings of the 2005 international workshop on Mining software repositories, pages 1-5, Saint Louis, MO, USA, May 2005.
-
(2005)
MSR '05: Proceedings of the 2005 International Workshop on Mining Software Repositories
, pp. 1-5
-
-
Śliwerski, J.1
Zimmermann, T.2
Zeller, A.3
-
33
-
-
36549089399
-
Tracking defect warnings across versions
-
Shanghai, China, May
-
J. Spacco, D. Hovemeyer, and W. Pugh. Tracking defect warnings across versions. In Proceedings of the 2006 international workshop on Mining software repositories, pages 133-136, Shanghai, China, May 2006.
-
(2006)
Proceedings of the 2006 International Workshop on Mining Software Repositories
, pp. 133-136
-
-
Spacco, J.1
Hovemeyer, D.2
Pugh, W.3
-
35
-
-
77952279895
-
-
D. Wheeler. Flawnder home page. Web page: Oct.
-
D. Wheeler. Flawnder home page. Web page: http://www.dwheeler.com/ flawfinder/, Oct. 2006.
-
(2006)
-
-
-
37
-
-
24344509258
-
Mining version histories to guide software changes
-
T. Zimmermann, A. Zeller, P. Weissgerber, and S. Diehl. Mining version histories to guide software changes. IEEE Transactions on Software Engineering, 31(6):429-445, 2005.
-
(2005)
IEEE Transactions on Software Engineering
, vol.31
, Issue.6
, pp. 429-445
-
-
Zimmermann, T.1
Zeller, A.2
Weissgerber, P.3
Diehl, S.4
|