George C. Necula

Software · 2000–2013

A researcher in the Science corpus: 6 papers; trusts 36 researchers and is trusted by 53 researchers here, as inferred from the citation graph.

Subfields

• Software — 20 citations into it; #67 of 1,227 by trust here, #171 by citations
• Information Systems — 16 citations into it; #517 of 8,771 by trust here, #1,463 by citations
• Signal Processing — 15 citations into it; #2,194 of 7,572 by trust here, #1,592 by citations
• Artificial Intelligence — 6 citations into it; #3,964 of 35,345 by trust here, #6,422 by citations
• Computer Networks and Communications — 5 citations into it

Whom George C. Necula trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Mark Harman
2. David A. Wagner
3. Andreas Zeller
4. G. Ruhe
5. Thomas Bäck
6. Manuvir Das
7. Tanzirul Azim
8. Scott McPeak
9. Shin Yoo
10. James A. Jones

Who trusts George C. Necula overall

1. Xavier Leroy
2. Nick L. Petroni Jr.
3. Koushik Sen
4. Mihai Christodorescu
5. Jiawei Liu
6. Ross Tate
7. R. von Behren
8. Rupak Majumdar
9. Michael W. Hicks
10. Yue Jia

Papers from George C. Necula's perspective

Ordered by how strongly the researchers George C. Necula trusts endorse each paper. Same corpus, a different order for every researcher.

1. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Symbolic execution and program testing
3. Using GUI ripping for automated testing of Android applications (2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering)
4. Dynodroid: an input generation system for Android apps (ESEC/FSE 2013)
5. Simplifying and Isolating Failure-Inducing Input (IEEE Trans. Software Eng.)
6. Automated concolic testing of smartphone apps (SIGSOFT FSE)
7. Hybrid Concolic Testing (International Conference on Software Engineering)
8. A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (Fundamental Approaches to Software Engineering)
9. Isolating cause-effect chains from computer programs (SIGSOFT '02/FSE-10)
10. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)

Their papers

• CCured: type-safe retrofitting of legacy code (2002) — 633 citations
• Guided GUI testing of android apps with minimal restart and approximate learning (2013) — 391 citations
• CCured: type-safe retrofitting of legacy software (2005) — 438 citations
• Capriccio: scalable threads for internet services (2003) — 327 citations
• CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (2002) — 1,152 citations
• Translation validation for an optimizing compiler (2000) — 570 citations