메뉴 건너뛰기




Volumn , Issue , 2011, Pages 91-100

Automated error localization and correction for imperative programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; ECONOMIC AND SOCIAL EFFECTS; ERROR CORRECTION; FORMAL METHODS; PROGRAM DEBUGGING;

EID: 84857725800     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (77)

References (33)
  • 5
    • 0016993577 scopus 로고
    • A system to generate test data and symbolically execute programs
    • L. A. Clarke. A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng., 2(3):215-222, 1976.
    • (1976) IEEE Trans. Software Eng. , vol.2 , Issue.3 , pp. 215-222
    • Clarke, L.A.1
  • 6
    • 35248824647 scopus 로고    scopus 로고
    • Linear invariant generation using non-linear constraint solving
    • Proc. Computer Aided Verification (CAV'03), Springer
    • M. Colón, S. Sankaranarayanan, and H. Sipma. Linear invariant generation using non-linear constraint solving. In Proc. Computer Aided Verification (CAV'03), pages 420-432. Springer, 2003. LNCS 2725.
    • (2003) LNCS , vol.2725 , pp. 420-432
    • Colón, M.1    Sankaranarayanan, S.2    Sipma, H.3
  • 9
    • 26044480846 scopus 로고    scopus 로고
    • Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact
    • DOI 10.1007/s10664-005-3861-2
    • H. Do, S. G. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering, 10(4):405-435, 2005. (Pubitemid 41408554)
    • (2005) Empirical Software Engineering , vol.10 , Issue.4 , pp. 405-435
    • Do, H.1    Elbaum, S.2    Rothermel, G.3
  • 10
    • 33749846787 scopus 로고    scopus 로고
    • A fast linear-arithmetic solver for DPLL(T)
    • Proc. Computer Aided Verification (CAV'06), Springer
    • B. Dutertre and L. M. de Moura. A fast linear-arithmetic solver for DPLL(T). In Proc. Computer Aided Verification (CAV'06), pages 81-94. Springer, 2006. LNCS 4144.
    • (2006) LNCS , vol.4144 , pp. 81-94
    • Dutertre, B.1    De Moura, L.M.2
  • 13
    • 33646391489 scopus 로고    scopus 로고
    • A general diagnosis method for ontologies
    • International Semantic Web Conference, Springer
    • G. Friedrich and K. M. Shchekotykhin. A general diagnosis method for ontologies. In International Semantic Web Conference, pages 232-246. Springer, 2005. LNCS 3729.
    • (2005) LNCS , vol.3729 , pp. 232-246
    • Friedrich, G.1    Shchekotykhin, K.M.2
  • 16
    • 0024765039 scopus 로고
    • Correction to the algorithm in Reiter's theory of diagnosis
    • DOI 10.1016/0004-3702(89)90079-9
    • R. Greiner, B. A. Smith, and R. W. Wilkerson. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence, 41(1):79-88, 1989. (Pubitemid 20633340)
    • (1989) Artificial Intelligence , vol.41 , Issue.1 , pp. 79-88
    • Greiner, R.1    Smith, B.A.2    Wilkerson, R.W.3
  • 17
    • 33749854187 scopus 로고    scopus 로고
    • Repair of Boolean programs with an application to C
    • 18th Conference on Computer Aided Verification (CAV'06)
    • A. Griesmayer, R. Bloem, and B. Cook. Repair of Boolean programs with an application to C. In 18th Conference on Computer Aided Verification (CAV'06), pages 358-371, 2006. LNCS 4144.
    • (2006) LNCS , vol.4144 , pp. 358-371
    • Griesmayer, A.1    Bloem, R.2    Cook, B.3
  • 19
    • 26444515908 scopus 로고    scopus 로고
    • Program repair as a game
    • 17th Conference on Computer Aided Verification (CAV'05), Springer
    • B. Jobstmann, A. Griesmayer, and R. Bloem. Program repair as a game. In 17th Conference on Computer Aided Verification (CAV'05), pages 226-238. Springer, 2005. LNCS 3576.
    • (2005) LNCS , vol.3576 , pp. 226-238
    • Jobstmann, B.1    Griesmayer, A.2    Bloem, R.3
  • 22
    • 9444247521 scopus 로고    scopus 로고
    • QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems
    • AAAI Press/MIT Press
    • U. Junker. QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In Proc. National Conference on Artificial Intelligence (AAAI'04), pages 167-172. AAAI Press/MIT Press, 2004.
    • (2004) Proc. National Conference on Artificial Intelligence (AAAI'04) , pp. 167-172
    • Junker, U.1
  • 23
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, 1976.
    • (1976) Communications of the ACM , vol.19 , Issue.7 , pp. 385-394
    • King, J.C.1
  • 25
    • 79953032413 scopus 로고    scopus 로고
    • Debugging unrealizable specifications with model-based diagnosis
    • Proc. Haifa Verification Conference (HVC'10), Springer
    • R. Koenighofer, G. Hofferek, and R. Bloem. Debugging unrealizable specifications with model-based diagnosis. In Proc. Haifa Verification Conference (HVC'10), pages 29-45. Springer, 2010. LNCS 6504.
    • (2010) LNCS , vol.6504 , pp. 29-45
    • Koenighofer, R.1    Hofferek, G.2    Bloem, R.3
  • 27
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57-95, 1987.
    • (1987) Artificial Intelligence , vol.32 , pp. 57-95
    • Reiter, R.1
  • 29
    • 72449124108 scopus 로고    scopus 로고
    • The sketching approach to program synthesis
    • Programming Languages and Systems, 7th Asian Symposium (APLAS'09), Springer
    • A. Solar-Lezama. The sketching approach to program synthesis. In Programming Languages and Systems, 7th Asian Symposium (APLAS'09), pages 4-13. Springer, 2009. LNCS 5904.
    • (2009) LNCS , vol.5904 , pp. 4-13
    • Solar-Lezama, A.1
  • 33
    • 0036472476 scopus 로고    scopus 로고
    • Simplifying and isolating failure-inducing input
    • DOI 10.1109/32.988498
    • A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2):183-200, 2002. (Pubitemid 34198322)
    • (2002) IEEE Transactions on Software Engineering , vol.28 , Issue.2 , pp. 183-200
    • Zeller, A.1    Hildebrandt, R.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.