-
1Academic Journal
Authors: Eric Bodden, Patrick Lam, Laurie Hendren
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification— Validation General Terms, Algorithms, Experimentation, Performance, Verification Additional Key Words and Phrases, Typestate analysis, static analysis, runtime monitoring ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.5541; http://www.bodden.de/pubs/blh12partially.pdf
-
2Academic Journal
Authors: Eric Bodden, Patrick Lam, LAURIE HENDREN
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms, Algorithms, Experimentation, Performance, Verification Additional Key Words and Phrases, typestate analysis, static analysis, runtime monitoring
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.4501; http://patricklam.ca/papers/12.toplas.tm.pdf
-
3Academic Journal
Authors: Shuai Li
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D2.4 [Software Engineering, Software/Program Verification—Validation General Terms Performance, Reliability, Verification Keywords Real-Time Embedded System, Software Radio Protocol, Real- Time Scheduling, Non-Functional Properties, Model-Driven Engineering, UML, MARTE
File Description: application/pdf
-
4Academic Journal
Authors: Fabian Büttner, Jordi Cabot, Martin Gogolla
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Validation General Terms Languages, verification Keywords Validation of model transformations, ATL, transformation models
File Description: application/pdf
-
5Academic Journal
Authors: Janne Merilinna, Juha Pärssinen
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification- Validation General Terms Design, Languages and Verification Keywords Model-Driven Development, Model-Based Testing and Requirements Tracing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.1833; http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf
-
6Academic Journal
Authors: Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: D.2.4 [Software Engineering, Software/Program Verification – Validation. General Terms Measurement, Performance, Verification Keywords Inconsistency Resolution, Pervasive Computing
File Description: application/pdf
-
7Academic Journal
Authors: Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation. General Terms Measurement, Performance, Verification Keywords Inconsistency Resolution, Pervasive Computing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.1837; http://cs.nju.edu.cn/changxu/publications/ESECFSE07.pdf
-
8Academic Journal
Authors: Gary Wassermann, Zhendong Su
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Languages, Security, Verification Keywords Static Analysis, String Analysis, Web Applications
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.4964; http://wwwcsif.cs.ucdavis.edu/~wassermg/research/pldi07.pdf
-
9Academic Journal
Authors: Chang Xu, S. C. Cheung, W. K. Chan
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation General Terms Algorithms, Performance, Theory, Verification Keywords Pervasive Computing, Context Management, Incremental Consistency Checking
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.3619; http://cs.nju.edu.cn/changxu/publications/ICSE06.pdf
-
10Academic Journal
Authors: Osman Balci
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, I.6.4 [Simulation and Modeling, Model Validation and Analysis, D.2.4 [Software Engineering, Software/Program Verification—validation General Terms, Measurement, Verification Additional Key Words and Phrases, accreditation, certification, credibility assessment, evaluation, quality assessment
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.9183; http://www.nd.edu/~gmadey/sim06/Resources/balci2.pdf
-
11Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Design, Reliability, Verification Keywords False warnings, existing test cases, RFBI
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.1790; http://ranger.uta.edu/~csallner/papers/li12residual.pdf
-
12Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Verification, Security, Languages Keywords alias analysis, data flow analysis, static analysis, program analysis
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.1429; http://www.seclab.tuwien.ac.at/papers/pixy2.pdf
-
13Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Languages, Security, Verification Keywords Static Analysis, String Analysis, Web Applications
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6863; http://www.cs.ucdavis.edu/~su/publications/pldi07.pdf
-
14Academic Journal
Authors: Will Dietz, Peng Li, John Regehr
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features, D.3.0 [Pro- gramming Languages, General—Standards, D.2.5 [Software Engineering, Testing and Debugging—Diagnostics, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms, Experimentation, Languages, Measurement, Performance Additional Key Words and Phrases, integer overflow, integer wraparound, undefined behavior
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.3161; http://www.cs.utah.edu/%7Epeterlee/papers/tosem15.pdf
-
15Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Languages, Security, Verification Keywords Static Analysis, String Analysis, Web Applications
File Description: application/pdf
-
16Academic Journal
Authors: Nenad Jovanovic, Christopher Kruegel, Engin Kirda
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Verification, Security, Languages Keywords alias analysis, data flow analysis, static analysis, program analysis
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.8543; http://www.auto.tuwien.ac.at/~chris/research/doc/plas06_pixy2.pdf
-
17Academic Journal
Authors: Anton Babenko, Leonardo Mariani, Fabrizio Pastore
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— Debugging aids, Tracing, Monitors, D.2.4 [Software Engi- neering, Software/Program Verification—Validation General Terms Verification Keywords Anomaly detection, Dynamic Analysis
File Description: application/pdf
-
18Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Design, Reliability, Verification Keywords False warnings, existing test cases, RFBI
File Description: application/pdf
-
19Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Design, Reliability, Verification Keywords False warnings, existing test cases, RFBI
File Description: application/pdf
-
20Academic Journal
Authors: Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Software/Program Verification—Validation General Terms, Reliability, Verification Keywords, GPU, CUDA, Parallelism, Symbolic Execution, Formal Verification, Automatic Test Generation, Virtual Machine
File Description: application/pdf