Zobrazeno 1 - 10 of 164 pro vyhledávání: '"Static checking"'
1
Akademický článek
Computer Aided Verification of Relational Models by Strategic Rewriting
Autor: Claudia Mónica Necco, José N. Oliveira, Joost Visser, Roberto Uzal
Publikováno v: Journal of Computer Science and Technology, Vol 17, Iss 02, Pp e19-e19 (2017)
Binary relational algebra provides semantic foundations for major areas of computing, such as database design, state-based modeling and functional programming. Remarkably, static checking support in these areas fails to exploit the full semantic cont
Externí odkaz: https://doaj.org/article/188c93c65ac24d98ada5ad2e16a6cc09
Zobrazit plný text záznamu
2
Towards Contract Modules for the Tezos Blockchain (Short Paper)
Autor: Doan, Thi Thu Ha, Thiemann, Peter
Programmatic interaction with a blockchain is often clumsy. Many interfaces handle only loosely structured data, often in JSON format, that is inconvenient to handle and offers few guarantees. Contract modules provide a statically checked interface t
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1dad73a90786652cf5b22e6a9c13f05e
Zobrazit plný text záznamu
3
Gradual Verification of Recursive Heap Data Structures
Autor: Jenna Wise, Joshua Sunshine, Jonathan Aldrich, Cameron Wong, Éric Tanter, Johannes Bader
Current static verification techniques do not provide good support for incrementality, making it difficult for developers to focus on specifying and verifying the properties and components that are most important. Dynamic verification approaches supp
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ab14cca777404295f466023e3e137c4
Zobrazit plný text záznamu
4
A Dataset of Dockerfiles
Autor: Shuvendu K. Lahiri, Thomas Reps, Christian Bird, Jordan Henkel
Publikováno v: MSR
Dockerfiles are one of the most prevalent kinds of DevOps artifacts used in industry. Despite their prevalence, there is a lack of sophisticated semantics-aware static analysis of Dockerfiles. In this paper, we introduce a dataset of approximately 17
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::659eb36c2d3e6221565d2f458321db10
http://arxiv.org/abs/2003.12912
Zobrazit plný text záznamu
5
Dissertation/ Thesis
Combining over- and under-approximating program analyses for automatic software testing
Autor: Csallner, Christoph
This dissertation attacks the well-known problem of path-imprecision in static program analysis. Our starting point is an existing static program analysis that over-approximates the execution paths of the analyzed program. We then make this over-appr
Externí odkaz: http://hdl.handle.net/1853/24764
Zobrazit plný text záznamu
6
Malware Detection by Static Checking and Dynamic Analysis of Executables
Autor: Subrata Rakshit, Deepti Vidyarthi, C.R.S. Kumar, S.P. Choudhary
Publikováno v: International Journal of Information Security and Privacy. 11:29-41
The advanced malware continue to be a challenge in digital world that signature-based detection techniques fail to conquer. The malware use many anti-detection techniques to mutate. Thus no virus scanner can claim complete malware detection even for
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::640a2b804e5855c5ce35836c32d6cc5a
https://doi.org/10.4018/ijisp.2017070103
Zobrazit plný text záznamu
8
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
9
Utilizing Software Engineering Education Support System ALECSS at an Actual Software Development Experiment: A Case Study
Autor: Tetsuro Kakeshita, Mika Ohtsuki
Publikováno v: CSEDU (2)
We have proposed a software engineering education support system named ALECSS in our previous paper. ALECSS utilizes various DevOps tools such as Jenkins, Git, JUnit, Checkstyle and FindBugs to automatically check student’s programs from various vi
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::81f251878a660602e711daf3763aa2ef
https://doi.org/10.5220/0007723203670375
Zobrazit plný text záznamu
10
Computer Aided Verification of Relational Models by Strategic Rewriting
Autor: José Nuno Oliveira, Joost Visser, Roberto Uzal, Claudia Mónica Necco
Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Journal of Computer Science & Technology, 17, 140-148
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Journal of Computer Science and Technology, Vol 17, Iss 02, Pp e19-e19 (2017)
Journal of Computer Science & Technology, 17, 2, pp. 140-148
Binary relational algebra provides semantic foundations for major areas of computing, such as database design, state-based modeling and functional programming. Remarkably, static checking support in these areas fails to exploit the full semantic cont
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ae3bbb9b1c3b33c177d77b2a38bf805
http://repositorio.inesctec.pt/handle/123456789/10531
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje