Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bang, Lucas
91  Ergebnisse:
Personensuche X
?
1

Path Complexity Analysis for Interprocedural Code:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Kaniyur, Mira ; Cavalcante-Studart, Ana ; Yang, Yihan... - p. 404-405 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Path Complexity Analysis for Interprocedural Code:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,
Kaniyur, Mira Bhagirathi ; Cavalcante-Studart, Ana ; Yang, Yihan... - p. 404-405 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Student Experiences and Academic Outcomes When Multiple Int..:

, In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1,
Breeden, Katherine ; Bang, Lucas ; Stone, Christopher A.. - p. 89-95 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Path Complexity Correlates with Source Code Comprehension E..:

, In: 2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC),
Dissem, Sofiane ; Pregerson, Eli ; Bhargava, Adi.. - p. 266-274 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Formalizing Path Explosion for Recursive Functions via Asym..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Pregerson, Eli ; Cullen-Baratloo, Shaheen ; Chen, David... - p. 76-85 , 2023
Link: https://doi.org/10.1109/..
 
?
6

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes.  45 (2021)  2 - p. 20-22 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Metrinome : path complexity predicts symbolic execution ..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,
Bessler, Gabriel ; Cordova, Josh ; Cullen-Baratloo, Shaheen... - p. 29-32 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Metrinome: Path Complexity Predicts Symbolic Execution Path..:

, In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Bessler, Gabriel ; Cordova, Josh ; Cullen-Baratloo, Shaheen... - p. 29-32 , 2021
Link: https://doi.org/10.1109/..
 
?
9

Incremental Attack Synthesis:

Saha, Seemanta ; Eiers, William ; Kadron, Ismet Burak..
ACM SIGSOFT Software Engineering Notes.  44 (2021)  4 - p. 16 ff. , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Virtually Constrained Dancing : Encoding Language in Mov..:

, In: Proceedings of the 7th International Conference on Movement and Computing,
Frost, Devon ; Steele, Shannon ; Bang, Lucas - p. 1-4 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes.  45 (2020)  2 - p. 20-22 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

MCBAT: a practical tool for model counting constraints on b..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Molavi, Abtin ; Downing, Mara ; Schneider, Tommy. - p. 1596-1600 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

MCBAT: Model Counting for Constraints over Bounded Integer ..:

, In: Lecture Notes in Computer Science; Software Verification,
Molavi, Abtin ; Schneider, Tommy ; Downing, Mara. - p. 124-143 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Incremental Attack Synthesis:

Saha, Seemanta ; Eiers, William ; Kadron, Ismet Burak..
ACM SIGSOFT Software Engineering Notes.  44 (2019)  4 - p. 16 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Attack Synthesis for Strings using Meta-Heuristics:

Saha, Seemanta ; Kadron, Ismet Burak ; Eiers, William..
ACM SIGSOFT Software Engineering Notes.  43 (2019)  4 - p. 56 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
1-15