Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A Generalized Approach for Solving Web Form Constraints
Karthein, Bjorn, Staicu, Cristian-Alexandru, Zeller, Andreas
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Get full text
Conference Proceeding
SBFT Tool Competition 2024 - Python Test Case Generation Track
Erni, Nicolas, Mohammed, Al-Ameen Mohammed Ali, Birchler, Christian, Derakhshanfar, Pouria, Lukasczyk, Stephan, Panichella, Sebastiano
Published in 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) (14.04.2024)
Published in 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) (14.04.2024)
Get full text
Conference Proceeding
The verifying compiler, a grand challenge for computing research
Hoare, C. A. R.
Published in Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation (01.01.2005)
Published in Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation (01.01.2005)
Get full text
Conference Proceeding
Book Chapter
Using symbolic evaluation to understand behavior in configurable software systems
Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
SemFix: program repair via semantic analysis
Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)
Get full text
Conference Proceeding
Precimonious: tuning assistant for floating-point precision
Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David
Published in 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (17.11.2013)
Published in 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (17.11.2013)
Get full text
Conference Proceeding
SMT-based bounded model checking for multi-threaded software in embedded systems
Cordeiro, Lucas
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Strategies for product-line verification: case studies and experiments
Apel, Sven, Rhein, Alexander von, Wendler, Philipp, Größlinger, Armin, Beyer, Dirk
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)
Get full text
Conference Proceeding
Dynamic shape analysis of program heap using graph spectra (NIER track)
Malik, Muhammad Zubair
Published in Proceedings of the 33rd International Conference on Software Engineering (21.05.2011)
Published in Proceedings of the 33rd International Conference on Software Engineering (21.05.2011)
Get full text
Conference Proceeding
Predicting common web application vulnerabilities from input validation and sanitization code patterns
Shar, Lwin Khin, Tan, Hee Beng Kuan
Published in 27th IEEE/ACM International Conference on Automated Software Engineering (ASE) : proceedings, September 3-7, 2012, Essen, Germany (03.09.2012)
Published in 27th IEEE/ACM International Conference on Automated Software Engineering (ASE) : proceedings, September 3-7, 2012, Essen, Germany (03.09.2012)
Get full text
Conference Proceeding
Intrusion detection using signatures extracted from execution profiles
El-Ghali, M., Masri, W.
Published in 2009 ICSE Workshop on Software Engineering for Secure Systems (19.05.2009)
Published in 2009 ICSE Workshop on Software Engineering for Secure Systems (19.05.2009)
Get full text
Conference Proceeding
Local and On-the-fly Choreography-based Web Service Composition
Mitra, Saayan, Basu, Samik, Kumar, Ratnesh
Published in Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (02.11.2007)
Published in Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence (02.11.2007)
Get full text
Conference Proceeding