-
1Academic Journal
Authors: Ter Beek M H, Lluch Lafuente A, Petrocchi M
Source: FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 10–17, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Ter Beek M. H.; Lluch Lafuente A.; Petrocchi M./congresso_nome:FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:10/pagina_a:17/intervallo_pagine:10–17
ACM International Conference Proceeding SeriesSubject Terms: Maude, Model checking, Product families, QA75 Electronic computers. Computer science, Process algebra, 02 engineering and technology, Concurrent constraint programming, D.2.4 Software/Program Verification. Formal methods, Behavioural analyses, D.2.4 Software/Program Verification. Model checking, Validation, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability
File Description: application/pdf
Access URL: http://eprints.imtlucca.it/1589/1/paper.pdf
https://dblp.uni-trier.de/db/conf/splc/splc2013w.html#BeekLP13
https://dl.acm.org/citation.cfm?doid=2499777.2500722
http://fmt.isti.cnr.it/~mtbeek/FMSPLE13.pdf
http://fmt.isti.cnr.it/~mtbeek/slidesTokyo.pdf
https://dl.acm.org/doi/10.1145/2499777.2500722
https://core.ac.uk/display/18435001 -
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 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
-
3Academic Journal
Authors: Richard Wartell, Vishwath Mohan, Kevin W. Hamlen, Zhiqiang Lin
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—Access controls, D.3.4 [Programming Languages, Processors—Code generation, D.2.4 [Software Engineering, Software/Program Verification—Validation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.376.663; http://www.utdallas.edu/~kxh060100/wartell12acsac.pdf
-
4Academic Journal
Authors: Raquel Oliveira, Pierre Genevès, Nabil Layaïda
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors H.2.3 [Database Management, Languages—Query lan- guages, D.2.4 [Software Engineering, Software/Program Verification—Validation Keywords XML, Schemas, XQuery, Schema evolution
File Description: application/pdf
-
5Academic Journal
Authors: Long Lu, Zhichun Li, Zhenyu Wu, Wenke Lee, Guofei Jiang
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Validation, D.2.5 [Software Engineering, Testing and Debug- ging—Code inspections and walk-throughs General Terms
File Description: application/pdf
-
6Academic 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
-
7Academic 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
-
8Academic 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
-
9Academic Journal
Authors: Renato Cherini, Javier O. Blanco
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.1.4 [Programming Techniques, Sequential Program- ming, D.2.2 [Software Engineering, Design Tools and Techniques—Modules and interfaces, D.2.4 [Software En- gineering, Software/Program Verification—Validation, Formal methods, Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Abstract data types, Constraints, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Reliability, Verification Keywords separation logic
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.6420; http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf
-
10Academic 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
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.467.9439; http://rosaec.snu.ac.kr/meet/file/20090204paperd.pdf
-
11Academic 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
-
12Academic Journal
Authors: Ronald Stevens, Brittany Parsons, Tariq M. King
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – validation, reliability General Terms Verification, Reliability, Management. Keywords Autonomic Computing, Validation, Testing
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.469.832; http://cs.ndsu.edu/~tarking/papers/2007/StevensACMSE07.pdf
-
13Academic 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
-
14Academic 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
-
15Academic Journal
Authors: Prasad Naldurg, Stefan Schwoon, John Lambert, Sriram Rajamani
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—access controls, information flow controls, D.2.4 [Software Engineering, Software/Program Verification—validation, formal methods General Terms Security, Design, Verification Keywords Vulnerability Reports, Privilege Escalation, Static Analysis
File Description: application/pdf
-
16Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification − validation, D.2.5 [Software Engineering, Testing and Debugging − testing tools. General Terms Verification Keywords Input validation, software verification, software testing, empirical- based
File Description: application/pdf
-
17Academic 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
-
18Academic Journal
Authors: Lionel C. Briand, Yvan Labiche, Marwa Shousha
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://utopia.csis.pace.edu/dps/2007/jkile/content/2005-fall/dcs860b/optimization/original papers/p1021-briand.pdf.
Subject Terms: D.2.4 [Software Engineering, Software/Program Verification – validation, reliability General Terms Algorithms, Performance, Design, Reliability, Experimentation, Theory, Verification. Keywords Schedulability theory, Genetic algorithms
File Description: application/pdf
-
19Academic Journal
Authors: Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Validation, D.3.3 [Programming Languages, Formal Definitions and Theory—Semantics, Syntax General Terms, Design, Languages, Reliability, Theory, Verification Additional Key Words and Phrases, dynamic software updating, updateability analysis, type inference, capability, Proteus
File Description: application/pdf
-
20Academic Journal
Authors: Fevzi Belli
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: D.2.4 [Software Engineering, Software/Program Verification – validation, D.2.5 [Software Engineering, Testing and Debugging – error handling, coverage testing, F.1.1 [Models of Computation, Automata – finite state, F.4.3 [F
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3912; http://sigma.upb.de/download/papers/HolisticView.pdf