Výsledky vyhledávání - "Software/Program Verification—Statistical methods"
-
1
Autoři:
Zdroj: 1st ACM SIGCHI symposium on Engineering interactive computing systems, pp. 117–122, Pittsburgh, PA, USA, July 15-17, 2009
info:cnr-pdr/source/autori:Harrison M.D.; Massink M.; Latella D./congresso_nome:1st ACM SIGCHI symposium on Engineering interactive computing systems/congresso_luogo:Pittsburgh, PA, USA/congresso_data:July 15-17, 2009/anno:2009/pagina_da:117/pagina_a:122/intervallo_pagine:117–122Témata: Software/Program Verification - statistical methods, Stochastic analysis - user interfaces, User Interfaces - theory and methods, 05 social sciences, 0501 psychology and cognitive sciences, 0102 computer and information sciences, 01 natural sciences
Popis souboru: application/pdf
Přístupová URL adresa: http://fmt.isti.cnr.it/WEBPAPER/2009-A2-041.pdf
https://core.ac.uk/display/101035818
https://dblp.uni-trier.de/db/conf/eics/eics2009.html#HarrisonML09
http://portal.acm.org/citation.cfm?doid=1570433.1570456
https://dl.acm.org/doi/10.1145/1570433.1570456
https://eprints.ncl.ac.uk/159900
http://fmt.isti.cnr.it/WEBPAPER/2009-A2-041.pdf
https://hdl.handle.net/20.500.14243/62323
https://dl.acm.org/citation.cfm?id=1570433&picked=prox
https://doi.org/10.1145/1570433.1570456 -
2
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8Témata: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models
Popis souboru: application/pdf
Přístupová URL adresa: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8 -
3
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
-
4
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.4.6 [Operating Systems, Security and Protection—Invasive software. General Terms, Security, Experimentation, Measurement Keywords, Software Security, Prediction
Popis souboru: application/pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical Methods, D.2.5 [Software Engineering, Testing and Debugging—Diagnostics General Terms Reliability, Verification Keywords Scale-dependent Bug, Program Behavior Prediction, Feature Reconstruction
Popis souboru: application/pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical Methods, D.2.5 [Software Engineering, Testing and Debugging—Diagnostics General Terms Reliability Keywords Scale-dependent Bug, Program Behavior Prediction, Feature Reconstruction
Popis souboru: application/pdf
-
7
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.4.6 [Operating Systems, Security and Protection—Invasive software. General Terms, Security, Experimentation, Measurement Keywords, Software Security, Prediction
Popis souboru: application/pdf
-
8
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification--statistical methods, D.2.5 [Software Engineering, Testing and Debugging--debugging aids, distributed debugging, monitors, tracing, I.5.2 [Pattern Recognition, Design Methodology--feature evaluation and selection General Terms Experimentation, Reliability Keywords bug isolation, random sampling, invariants, feature se-lection, statistical debugging
Popis souboru: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.6392; http://xenon.stanford.edu/~mhn/pubs/pldi05.ps
-
9
Autoři:
Přispěvatelé:
Zdroj: http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf.
Témata: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, Validation General Terms Algorithms, Measurement, Reliability, Verification Keywords requirements
Popis souboru: application/pdf
Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7173
http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf -
10
Autoři: a další
Přispěvatelé: a další
Témata: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation Keywords Code Retrieval, Natural Language Processing, Defect Detection
Popis souboru: application/pdf
-
11
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors D.2.4 [Software Engineer-ing, Software/Program Verification--statistical methods, D.2.5 [Software Engineering, Testing and Debugging--debugging aids, distributed debugging, monitors, tracing, I.5.2 [Pattern Recognition, Design Methodology--feature evaluation and selection General Terms Experimentation, Reliability Keywords bug isolation, random sampling, invariants, feature se-lection, statistical debugging
Popis souboru: application/postscript
Nájsť tento článok vo Web of Science