-
1Academic Journal
Συγγραφείς: Bartolini C, Bertolino A, De Angelis G, Ciancone A, Mirandola R
Πηγή: 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–1899Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: 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
Συγγραφείς: Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
3Academic Journal
Συγγραφείς: Joseph Sloan, John Sartori, Rakesh Kumar
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Yong Hun Eom, Brian Demsky
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Reliability General Terms Languages, Reliability Keywords Self-Stabilization, Software Robustness
Περιγραφή αρχείου: 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
Συγγραφείς: João Carreira, Rodrigo Rodrigues, George C, Rupak Majumdar
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification — reliability, validation, D.4.5 [Operating Systems, Reliability — verification Keywords
Περιγραφή αρχείου: application/pdf
-
6Academic Journal
Συγγραφείς: Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: gineering, Software/Program Verification—Reliability, D.2.5 [Software Engineering, Testing and Debugging—Moni- tors General Terms Theory, Design, Experimentation
Περιγραφή αρχείου: 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
Συγγραφείς: Monica S. Lam, Michael Martin
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Christian Hammer, Julian Dolby M, Ana Vaziri Frank Tip
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
10Academic Journal
Συγγραφείς: Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
11Academic Journal
Συγγραφείς: Mayur Naik, Alex Aiken
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Zhi Quan Zhou, T. H. Tse, F.-C. Kuo, T. Y. Chen
Συνεισφορές: 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 — reliability. General Terms Verification, Reliability, Experimentation. Keywords Automated testing, search engines, oracle problem, metamorphic testing
Περιγραφή αρχείου: application/pdf
-
13Academic Journal
Συγγραφείς: Mayur Naik, Alex Aiken, John Whaley
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Zhendong Su, Gary Wassermann
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
15Academic Journal
Συγγραφείς: Michael D. Bond, Kathryn S. McKinley
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
16Academic Journal
Συγγραφείς: Mandana Vaziri, Frank Tip, Julian Dolby
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Sarah Heckman, Laurie Williams
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: 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
Συγγραφείς: Shared-memory Server Programs
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: Engineering, Software/Program Verification—Reliability, General Terms. Algorithms, Languages, Reliability Keywords. Multithreading, Serializability, Race Conditions
Περιγραφή αρχείου: application/pdf
-
19Academic Journal
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
20Academic Journal
Συνεισφορές: The Pennsylvania State University CiteSeerX Archives
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.484.646; http://dslab.epfl.ch/pubs/swift.pdf