咨询与建议

限定检索结果

文献类型

  • 934 篇 会议
  • 23 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 958 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 609 篇 工学
    • 550 篇 软件工程
    • 414 篇 计算机科学与技术...
    • 133 篇 电气工程
    • 15 篇 控制科学与工程
    • 14 篇 生物工程
    • 12 篇 信息与通信工程
    • 4 篇 材料科学与工程(可...
    • 3 篇 交通运输工程
    • 3 篇 安全科学与工程
    • 2 篇 机械工程
    • 2 篇 化学工程与技术
    • 2 篇 生物医学工程(可授...
    • 1 篇 建筑学
    • 1 篇 环境科学与工程(可...
  • 38 篇 理学
    • 17 篇 数学
    • 13 篇 生物学
    • 6 篇 化学
    • 5 篇 物理学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
  • 29 篇 管理学
    • 19 篇 图书情报与档案管...
    • 16 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 医学
    • 2 篇 临床医学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 111 篇 software
  • 107 篇 java
  • 102 篇 static analysis
  • 78 篇 source coding
  • 74 篇 open source soft...
  • 57 篇 software systems
  • 54 篇 codes
  • 51 篇 visualization
  • 44 篇 measurement
  • 43 篇 tools
  • 42 篇 task analysis
  • 42 篇 algorithm design...
  • 38 篇 data mining
  • 37 篇 cloning
  • 36 篇 testing
  • 35 篇 libraries
  • 35 篇 software enginee...
  • 35 篇 semantics
  • 34 篇 computer bugs
  • 33 篇 programming

机构

  • 11 篇 vrije univ bruss...
  • 8 篇 delft university...
  • 8 篇 univ szeged dept...
  • 7 篇 delft univ techn...
  • 7 篇 delft university...
  • 7 篇 kent state univ ...
  • 6 篇 queens univ sch ...
  • 6 篇 fraunhofer iem p...
  • 6 篇 univ bern softwa...
  • 5 篇 department of so...
  • 5 篇 software analysi...
  • 5 篇 ucl england
  • 5 篇 eindhoven univer...
  • 5 篇 paderborn univ p...
  • 5 篇 eindhoven univ t...
  • 5 篇 univ akron dept ...
  • 4 篇 department of so...
  • 4 篇 vrije univ bruss...
  • 4 篇 univ saskatchewa...
  • 4 篇 univ bern softwa...

作者

  • 17 篇 de roover coen
  • 10 篇 roy chanchal k.
  • 10 篇 stievenart quent...
  • 10 篇 coen de roover
  • 9 篇 poshyvanyk denys
  • 8 篇 ferenc rudolf
  • 7 篇 inoue katsuro
  • 7 篇 ahmed e. hassan
  • 7 篇 van deursen arie
  • 6 篇 moonen leon
  • 6 篇 bodden eric
  • 6 篇 gyimothy tibor
  • 6 篇 harman mark
  • 6 篇 collard michael ...
  • 6 篇 gall harald c.
  • 6 篇 bram adams
  • 6 篇 zaidman andy
  • 6 篇 quentin stiévena...
  • 6 篇 adams bram
  • 5 篇 serebrenik alexa...

语言

  • 952 篇 英文
  • 6 篇 其他
检索条件"任意字段=IEEE Working Conference on Source Code Analysis and Manipulation"
958 条 记 录,以下是251-260 订阅
排序:
Some Assembly Required - Program analysis of Embedded System code
Some Assembly Required - Program Analysis of Embedded System...
收藏 引用
8th ieee International working conference on source code analysis and manipulation
作者: Fehnker, Ansgar Huuck, Ralf Rauch, Felix Seefried, Sean Univ NSW Natl ICT Australia Sydney NSW 1466 Australia
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used,for application oriented tasks and a low-level assembly language for di... 详细信息
来源: 评论
Lint-Based Warnings in Python code: Frequency, Awareness and Refactoring  22
Lint-Based Warnings in Python Code: Frequency, Awareness and...
收藏 引用
ieee 22nd International working conference on source code analysis and manipulation (SCAM)
作者: Oliveira, Naelson Ribeiro, Marcio Bonifacio, Rodrigo Gheyi, Rohit Wiese, Igor Fonseca, Baldoino Fed Univ Alagoas UFAL Ave Lourival Melo Mota S-N BR-57072900 Maceio Alagoas Brazil Brasilia Univ UnB Via L3 NorteS-NCampus Univ Darcy Ribeiro BR-70910900 Brasilia DF Brazil Fed Univ Campina Grande UFCG R Aprigio Veloso 882 BR-58428830 Campina Grande Paraiba Brazil Fed Univ Technol Parana UTFPR Ave Sete Setembro 3165 BR-8023090 Curitiba Parana Brazil
Python is a popular programming language characterized by its simple syntax and easy learning curve. Like many languages, Python has a set of best practices that should be followed to avoid bugs and improve other qual... 详细信息
来源: 评论
DATES: Design analysis tool for enterprise systems
DATES: Design analysis tool for enterprise systems
收藏 引用
7th ieee International working conference on source code analysis and manipulation
作者: Marinescu, Cristina Tech Univ Timisoara LOOSE Res Grp RO-1900 Timisoara Romania
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is performed by providing its users with info...
来源: 评论
TBCppA: a Tracer Approach for Automatic Accurate analysis of C Preprocessor's Behaviors
TBCppA: a Tracer Approach for Automatic Accurate Analysis of...
收藏 引用
8th ieee International working conference on source code analysis and manipulation
作者: Gondow, Katsuhiko Kawashima, Hayato Imaizumi, Takashi Tokyo Inst Technol Tokyo Japan New Glass Forum Tokyo Japan Chiba Univ Chiba Japan
C preprocessor (CPP) is a major cause that makes it much difficult to accurately analyze C source code, which is indispensable to refactoring tools for C programs. To accurately analyze C source code, we need to gener... 详细信息
来源: 评论
Plug and Analyze: Usable Dynamic Taint Tracker for Android Apps  22
Plug and Analyze: Usable Dynamic Taint Tracker for Android A...
收藏 引用
ieee 22nd International working conference on source code analysis and manipulation (SCAM)
作者: Inayoshi, Hiroki Kakei, Shohei Saito, Shoichi Nagoya Inst Technol Nagoya Aichi Japan
Taint analyses, especially static taint analyses, are utilized to uncover hidden and suspicious behaviors in Android apps. However, current static taint analyzers use imprecise Android models, producing unreliable res... 详细信息
来源: 评论
Precise analysis of Java Programs using JOANA
Precise Analysis of Java Programs using JOANA
收藏 引用
8th ieee International working conference on source code analysis and manipulation
作者: Giffhorn, Dennis Hammer, Christian Univ Karlsruhe TH Karlsruhe Germany
The JOANA project (Java Object-sensitive analysis) is a program. analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence graph computation, slicing and choppin... 详细信息
来源: 评论
A Parallel Worklist Algorithm for Modular Analyses  20
A Parallel Worklist Algorithm for Modular Analyses
收藏 引用
20th ieee International working conference on source code analysis and manipulation (SCAM)
作者: Van Es, Noah Stievenart, Quentin Van der Plas, Jens De Roover, Coen Vrije Univ Brussel Software Languages Lab Brussels Belgium
One way to speed up static program analysis is to make use of today's multi-core CPUs by parallelising the analysis. Existing work on parallel analysis usually targets traditional data-flow analyses for static, fi... 详细信息
来源: 评论
Automated Detection of code Vulnerabilities Based on Program analysis and Model Checking
Automated Detection of Code Vulnerabilities Based on Program...
收藏 引用
8th ieee International working conference on source code analysis and manipulation
作者: Wang, Lei Zhang, Qiang Zhao, PengChao Beijing Univ Aeronaut & Astronaut Comp Sch Beijing Peoples R China
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in improving the precision of vulnerabilities... 详细信息
来源: 评论
COORDINSPECTOR: a tool for extracting coordination data from legacy code
COORDINSPECTOR: a tool for extracting coordination data from...
收藏 引用
8th ieee International working conference on source code analysis and manipulation
作者: Rodrigues, Nuno F. Barbosa, Luis S. Univ Minho DI CCTC P-4710 Braga Portugal
More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coor... 详细信息
来源: 评论
SUDS: An infrastructure for creating bug detection tools
SUDS: An infrastructure for creating bug detection tools
收藏 引用
7th ieee International working conference on source code analysis and manipulation
作者: Larson, Eric Seattle Univ Dept Comp Sci & Software Engn Seattle WA 98122 USA
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains Phases for both static analysis and dynamic instrumentation allowing users to create tools that take advantage of both paradigms.... 详细信息
来源: 评论