-
1Academic Journal
Συγγραφείς: Eric Bodden, Patrick Lam, Laurie Hendren
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Eric Bodden, Patrick Lam, LAURIE HENDREN
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Shuai Li
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
4Academic Journal
Συγγραφείς: Fabian Büttner, Jordi Cabot, Martin Gogolla
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
5Academic Journal
Συγγραφείς: Janne Merilinna, Juha Pärssinen
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: D.2.4 [Software Engineering, Software/Program Verification – Validation. General Terms Measurement, Performance, Verification Keywords Inconsistency Resolution, Pervasive Computing
Περιγραφή αρχείου: application/pdf
-
7Academic Journal
Συγγραφείς: Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation. General Terms Measurement, Performance, Verification Keywords Inconsistency Resolution, Pervasive Computing
Περιγραφή αρχείου: 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
Συγγραφείς: Gary Wassermann, Zhendong Su
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Chang Xu, S. C. Cheung, W. K. Chan
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Osman Balci
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Will Dietz, Peng Li, John Regehr
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
16Academic Journal
Συγγραφείς: Nenad Jovanovic, Christopher Kruegel, Engin Kirda
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Anton Babenko, Leonardo Mariani, Fabrizio Pastore
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
18Academic Journal
Συγγραφείς: Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
19Academic Journal
Συγγραφείς: Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
20Academic Journal
Συγγραφείς: Guodong Li, Peng Li, Geof Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Software/Program Verification—Validation General Terms, Reliability, Verification Keywords, GPU, CUDA, Parallelism, Symbolic Execution, Formal Verification, Automatic Test Generation, Virtual Machine
Περιγραφή αρχείου: application/pdf