Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++

Modeling cellular network traffic with mobile call graph constraints

Proceedings of the 2011 Winter Simulation Conference (WSC) ◽

10.1109/wsc.2011.6148015 ◽

2011 ◽

Cited By ~ 4

Author(s):

Junwhan Kim ◽

V. S. Anil Kumar ◽

Achla Marathe ◽

Guanhong Pei ◽

Sudip Saha ◽

...

Keyword(s):

Network Traffic ◽

Cellular Network ◽

Call Graph ◽

Graph Constraints

Download Full-text

Green Crowdsensing by Learning Inter-Auction Mappings and Non-local Graph Constraints

2020 International Symposium on Networks, Computers and Communications (ISNCC) ◽

10.1109/isncc49221.2020.9297345 ◽

2020 ◽

Author(s):

Maggie E. Gendy ◽

Ahmad Al-Kabbany ◽

Ehab F. Badran

Keyword(s):

Non Local ◽

Local Graph ◽

Graph Constraints

Download Full-text

Method-Level Permission Analysis Based on Static Call Graph of Android Apps

2018 5th International Conference on Dependable Systems and Their Applications (DSA) ◽

10.1109/dsa.2018.00014 ◽

2018 ◽

Author(s):

Yan Hu ◽

Weiqiang Kong ◽

Deng Ding ◽

Jun Yan

Keyword(s):

Call Graph ◽

Android Apps

Download Full-text

Trin-Trin: Who’s Calling? A Pin-Based Dynamic Call Graph Extraction Framework

International Journal of Parallel Programming ◽

10.1007/s10766-012-0193-x ◽

2012 ◽

Vol 40 (4) ◽

pp. 410-442 ◽

Cited By ~ 11

Author(s):

Rohit Jalan ◽

Arun Kejariwal

Keyword(s):

Call Graph

Download Full-text

On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02768-1_4 ◽

2018 ◽

pp. 69-88 ◽

Cited By ~ 2

Author(s):

Li Sui ◽

Jens Dietrich ◽

Michael Emery ◽

Shawn Rasheed ◽

Amjed Tahir

Keyword(s):

Call Graph ◽

Tool Evaluation ◽

Dynamic Language

Download Full-text

A Logic of Graph Constraints

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78743-3_14 ◽

2008 ◽

pp. 179-198 ◽

Cited By ~ 19

Author(s):

Fernando Orejas ◽

Hartmut Ehrig ◽

Ulrike Prange

Keyword(s):

Graph Constraints

Download Full-text

Max-Cut Under Graph Constraints

Integer Programming and Combinatorial Optimization - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33461-5_5 ◽

2016 ◽

pp. 50-62 ◽

Cited By ~ 1

Author(s):

Jon Lee ◽

Viswanath Nagarajan ◽

Xiangkun Shen

Keyword(s):

Graph Constraints

Download Full-text

Exploring community structure of software Call Graph and its applications in class cohesion measurement

Journal of Systems and Software ◽

10.1016/j.jss.2015.06.015 ◽

2015 ◽

Vol 108 ◽

pp. 193-210 ◽

Cited By ~ 22

Author(s):

Yu Qu ◽

Xiaohong Guan ◽

Qinghua Zheng ◽

Ting Liu ◽

Lidan Wang ◽

...

Keyword(s):

Community Structure ◽

Call Graph

Download Full-text

Termination analysis and call graph construction for higher-order functional programs

ACM SIGPLAN Notices ◽

10.1145/1291220.1291165 ◽

2007 ◽

Vol 42 (9) ◽

pp. 71-84 ◽

Cited By ~ 2

Author(s):

Damien Sereni

Keyword(s):

Higher Order ◽

Termination Analysis ◽

Call Graph

Download Full-text

A Search Based Context-Aware Approach for Understanding and Localizing the Fault via Weighted Call Graph

2016 Third International Conference on Trustworthy Systems and their Applications (TSA) ◽

10.1109/tsa.2016.20 ◽

2016 ◽

Cited By ~ 1

Author(s):

Jingxuan Tu ◽

Xiaoyuan Xie ◽

Yuming Zhou ◽

Baowen Xu ◽

Lin Chen

Keyword(s):

Context Aware ◽

Call Graph

Download Full-text