设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(23)
CNKI会议论文(1)
CNKI学位论文(655)
知网期刊论文(423)
标准(1)
在“
Elsevier电子期刊
”中,
命中:
117
条,耗时:小于0.01 秒
在所有数据库中总计命中:
1,103
条
1.
Replacing conjectures by positive knowledge: Inferring proven precise worst-case
execution
time bounds using
symbolic
execution
作者:
Jens Knoop
a
;
knoop@complang.tuwien.ac.at
;
Laura Ková
;
cs
b
;
laura.kovacs@tuwien.ac.at
;
Jakob Zwirchmayr
c
;
jakob@complang.tuwien.ac.at
关键词:
Worst-case
execution
time (WCET) analysis
;
Static
symbolic
execution
;
Symbolic
computation
刊名:Journal of
Symbolic
Computation
出版年:2017
2.
A generic framework for
symbolic
execution
: A coinductive approach
作者:
Dorel Lucanu
a
;
dlucanu@info.uaic.ro
;
Vlad Rusu
b
;
vlad.rusu@inria.fr
;
Andrei Arusoaie
a
;
b
;
andrei.arusoaie@info.uaic.ro
关键词:
Symbolic
execution
;
Programming language
;
Formal operational semantics
;
Reachability logic
;
Circular coinduction
;
Program verification
刊名:Journal of
Symbolic
Computation
出版年:2017
3.
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
作者:
Tigran Avanesov
a
;
tigran.avanesov@uni.lu
;
Yannick Chevalier
b
;
ychevali@irit.fr
;
Michael Rusinowitch
c
;
rusi@loria.fr
;
Mathieu Turuani
c
;
mathieu.turuani@loria.fr
关键词:
Web services
;
Orchestration
;
Security policy
;
Separation of duty
;
Deducibility constraints
;
Cryptographic protocols
;
Formal methods
;
Automated verification
;
Synthesis
刊名:Journal of
Symbolic
Computation
出版年:2017
4.
An empirical study to quantify the characteristics of Java programs that may influence
symbolic
execution
from a unit testing perspective
作者:
Marcelo M. Eler
;
a
;
marceloeler@usp.br" class="auth_mail" title="E-mail the corresponding author
;
marceloeler@gmail.com" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Andre T. Endo
b
;
andreendo@utfpr.edu.br" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Vinicius H.S. Durelli
c
;
d
;
durelli@icmc.usp.br" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Software testing
;
Symbolic
execution
;
Test data generation
刊名:Journal of Systems and Software
出版年:2016
5.
Protocol Testing with
Symbolic
Execution
and Rule Based Specification Using Multicore Approach
作者:
Sherin Mariam George
;
sherinmg2010@gmail.com" class="auth_mail" title="E-mail the corresponding author
;
U. Sangeetha
关键词:
symbolic
execution
;
rule based specification
;
testing
;
multicore approach
刊名:Procedia Technology
出版年:2016
6.
Symbolic
Input-Output Conformance Checking for Model-Based Mutation Testing
作者:
Bernhard K. Aichernig
;
Martin Tappler
1
关键词:
model-based testing
;
mutation testing
;
symbolic
execution
;
action systems
;
sioco
;
ioco
刊名:Electronic Notes in Theoretical Computer Science
出版年:2016
7.
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios
作者:
Mathilde Arnaud
mathilde.arnaud@cea.fr" class="auth_mail" title="E-mail the corresponding author
;
Boutheina Bannour
boutheina.bannour@cea.fr" class="auth_mail" title="E-mail the corresponding author
;
Arnault Lapitre
1
;
arnault.lapitre@cea.fr" class="auth_mail" title="E-mail the corresponding author
关键词:
Symbolic
execution
and tools
;
Modeling languages semantics
;
UML Scenario-based Interactions
;
VSL/MARTE timing constraints
;
Test selection strategy and coverage
刊名:Electronic Notes in Theoretical Computer Science
出版年:2016
8.
Language definitions as rewrite theories
作者:
Vlad Rusu
a
;
Dorel Lucanu
b
;
dlucanu@info.uaic.ro" class="auth_mail" title="E-mail the corresponding author
;
Traian-Florin Şerbănuţă
c
;
Andrei Arusoaie
b
;
a
;
Andrei Ştefănescu
d
;
Grigore Roşu
d
;
b
关键词:
Operational semantics
;
Rewrite theories
;
Symbolic
execution
;
K Framework
;
Maude
刊名:Journal of Logical and Algebraic Methods in Programming
出版年:2016
9.
Symbolic
execution
based on language transformation
作者:
Andrei Arusoaie
b
;
andrei.arusoaie@inria.fr" class="auth_mail" title="E-mail the corresponding author
;
Dorel Lucanu
a
;
Vlad Rusu
b
关键词:
Symbolic
execution
;
Formal semantics
;
Programming languages
;
Program analysis
刊名:Computer Languages, Systems & Structures
出版年:2015
10.
Code search with input/output queries: Generalizing, ranking, and assessment
作者:
Kathryn T. Stolee
;
a
;
kstolee@iastate.edu" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Sebastian Elbaum
b
;
elbaum@cse.unl.edu" class="auth_mail" title="E-mail the corresponding author
Author Vitae
;
Matthew B. Dwyer
b
;
dwyer@cse.unl.edu" class="auth_mail" title="E-mail the corresponding author
Author Vitae
关键词:
Semantic code search
;
Symbolic
execution
;
SMT solvers
刊名:Journal of Systems and Software
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(117)
题名(14)
关键词(24)
文摘(94)
按出版年细分(117)
2027年及以后(2)
2017年(3)
2016年(11)
2015年(2)
2014年(1)
2013年(7)
2012年(8)
2011年(8)
2010年(10)
2009年(12)
2008年(3)
2007年(6)
2006年(5)
2005年(7)
2004年(3)
2003年(4)
2002年(5)
2001年(2)
2000年(3)
2000年及以前(15)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.