-
1Academic Journal
Authors: Bartolini C, Bertolino A, De Angelis G, Ciancone A, Mirandola R
Source: SAC'13-28th Annual ACM Symposium on Applied Computing, pp. 1893–1899, Coimbra, Portugal, 18-22 March 2013
info:cnr-pdr/source/autori:Bartolini C.; Bertolino A.; De Angelis G.; Ciancone A.; Mirandola R./congresso_nome:SAC'13-28th Annual ACM Symposium on Applied Computing/congresso_luogo:Coimbra, Portugal/congresso_data:18-22 March 2013/anno:2013/pagina_da:1893/pagina_a:1899/intervallo_pagine:1893–1899Subject Terms: D.2.8 Metrics-Performance measures, D.2.4 Software/Program Verification- Reliability, 0202 electrical engineering, electronic engineering, information engineering, D.2.1 Requirements/Specifications-Methodologies, BPMN, Choreography, 02 engineering and technology, Non-functional annotations
File Description: application/pdf
Access URL: https://hal.inria.fr/hal-00821238
https://dl.acm.org/doi/10.1145/2480362.2480713
https://dblp.uni-trier.de/db/conf/sac/sac2013.html#BartoliniBACM13 -
2Academic Journal
Authors: Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Reliability, D.3.3 [Programming Languages, Language Con- structs and Features—Data types and structures General Terms Experimentation, Languages, Reliability, Verification Keywords Format string
File Description: application/pdf
-
3Academic Journal
Authors: Joseph Sloan, John Sartori, Rakesh Kumar
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.10 [Software Engineering, Design—Methodologies, Representation, D.2.4 [Software Engineering, Software/Program Verification—Reliability General Terms Algorithms, Design, Reliability Keywords Application Error Tolerance, Stochastic Processors, ABFT
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.483; http://passat.crhc.illinois.edu/rakeshk/dac12b_cam.pdf
-
4Academic Journal
Authors: Yong Hun Eom, Brian Demsky
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Reliability General Terms Languages, Reliability Keywords Self-Stabilization, Software Robustness
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.4916; http://demsky.eecs.uci.edu/publications/PLDI12.pdf
-
5Academic Journal
Authors: João Carreira, Rodrigo Rodrigues, George C, Rupak Majumdar
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification — reliability, validation, D.4.5 [Operating Systems, Reliability — verification Keywords
File Description: application/pdf
-
6Academic Journal
Authors: Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs–specification techniques, D.2.4 [Software Engineering, Software/Program Verification–reliability, D.2.5 [Software Engineering, Testing and Debugging–monitors General Terms Languages, Algorithms, Verification Keywords Atomicity, Yield Annotation, Cooperability, Parallelism, Concurrency 1. Cooperative Concurrency
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.604; http://users.soe.ucsc.edu/~cormac/papers/ppopp11.pdf
-
7Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: gineering, Software/Program Verification—Reliability, D.2.5 [Software Engineering, Testing and Debugging—Moni- tors General Terms Theory, Design, Experimentation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.6174; http://staffwww.dcs.shef.ac.uk/people/A.Simons/research/papers/extensiblearchitecture.pdf
-
8Academic Journal
Authors: Monica S. Lam, Michael Martin
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification–Reliability General Terms Security, Reliability Keywords pattern matching, web applications, SQL injection, cross-site scripting
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.8407; http://suif.stanford.edu/papers/pepm08.pdf
-
9Academic Journal
Authors: Christian Hammer, Julian Dolby M, Ana Vaziri Frank Tip
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis
File Description: application/pdf
-
10Academic Journal
Authors: Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques, D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.4 [Software Engineering, Software/Program Verification—Reliability, Correctness Proofs, C.4 [Software Engineering, Performance of Systems—Design Studies General Terms, Algorithms, Design, Performance, Reliability Additional Key Words and Phrases, embedded software, model-based design, optimality, preemptive scheduling, process communication, semantical preservation, synchrono
File Description: application/pdf
-
11Academic Journal
Authors: Mayur Naik, Alex Aiken
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification-- Reliability General Terms Experimentation, Reliability, Verification Keywords static race detection, Java, synchronization, concur-rency, multi-threading
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.1046; http://xenon.stanford.edu/~mhn/pubs/popl07.ps
-
12Academic Journal
Authors: Zhi Quan Zhou, T. H. Tse, F.-C. Kuo, T. Y. Chen
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 — reliability. General Terms Verification, Reliability, Experimentation. Keywords Automated testing, search engines, oracle problem, metamorphic testing
File Description: application/pdf
-
13Academic Journal
Authors: Mayur Naik, Alex Aiken, John Whaley
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification-- Reliability, D.2.5 [Software Engineering, Testing and Debugging-- Debugging aids General Terms Experimentation, Reliability Keywords static race detection, Java, synchronization, concur-rency, multi-threading
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.585; http://xenon.stanford.edu/~mhn/pubs/pldi06.ps
-
14Academic Journal
Authors: Zhendong Su, Gary Wassermann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Reliability, Validation, D.3.1 [Programming Languages, Formal Definitions and Theory— Syntax, F.4.2 [Mathematical Logic and Formal Languages, Gram- mars and Other Rewriting Systems—Parsing, Grammar Types General Terms Algorithms, Experimentation, Languages, Relia- bility, Security, Verification Keywords command injection attacks, web applications, gram- mars
File Description: application/pdf
-
15Academic Journal
Authors: Michael D. Bond, Kathryn S. McKinley
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Reliability, Statistical Methods General Terms Reliability, Performance, Experimentation Keywords Memory Leaks, Low-Overhead Monitoring, Probabilistic Approaches, Managed Languages
File Description: application/pdf
-
16Academic Journal
Authors: Mandana Vaziri, Frank Tip, Julian Dolby
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming-parallel programming, D.2.4 [Software Engineering, Software/Program Verification-reliability, F.3.1 [Logics And Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Theory Keywords Concurrent Object-Oriented Programming, Data Races, Serializability, Programming Model
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435; http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf
-
17Academic Journal
Authors: Sarah Heckman, Laurie Williams
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://collaboration.csc.ncsu.edu/laurie/Papers/Heckman_Williams_BenchmarkStaticAnalysis.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Reliability, D.2.5 [Software Engineering, Testing and Debugging – Testing tools General Terms Measurement, Reliability, Experimentation, Verification. Keywords Automated static analysis
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.492.3238; http://collaboration.csc.ncsu.edu/laurie/Papers/Heckman_Williams_BenchmarkStaticAnalysis.pdf
-
18Academic Journal
Authors: Shared-memory Server Programs
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Engineering, Software/Program Verification—Reliability, General Terms. Algorithms, Languages, Reliability Keywords. Multithreading, Serializability, Race Conditions
File Description: application/pdf
-
19Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification— Reliability, D.2.5 [Software Engineering, Testing and Debugging—Debugging aids, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms, Design, Algorithms, Performance Additional Key Words and Phrases, Memory leaks, container profiling, leaking confidence ACM Reference Format
File Description: application/pdf
-
20Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://dslab.epfl.ch/pubs/swift.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engi- neering, Software/Program Verification — reliability, vali- dation, D.4.5 [Operating Systems, Reliability — verifica- tion Keywords testing, file system checker, symbolic execution
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.484.646; http://dslab.epfl.ch/pubs/swift.pdf