Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Revisiting and Improving Retrieval-Augmented Deep Assertion Generation
Sun, Weifeng, Li, Hongyan, Yan, Meng, Lei, Yan, Zhang, Hongyu
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)
Get full text
Conference Proceeding
RTLcheck: verifying the memory consistency of RTL designs
Manerkar, Yatin A., Lustig, Daniel, Martonosi, Margaret, Pellauer, Michael
Published in MICRO-50 : the 50th annual IEEE/ACM International Symposium on Microarchitecture : proceedings : October 14-18, 2017, Cambridge, MA (14.10.2017)
Published in MICRO-50 : the 50th annual IEEE/ACM International Symposium on Microarchitecture : proceedings : October 14-18, 2017, Cambridge, MA (14.10.2017)
Get full text
Conference Proceeding
Inferring better contracts
Wei, Yi, Furia, Carlo A., Kazmin, Nikolay, Meyer, Bertrand
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Get full text
Conference Proceeding
Security protocols, properties, and their monitoring
Bauer, Andreas, Juerjens, Jan
Published in International Conference on Software Engineering 2008 (18.05.2008)
Published in International Conference on Software Engineering 2008 (18.05.2008)
Get full text
Journal Article
Quality assurance of automotive hybrid embedded software
Zander-Nowicka, Justyna
Published in International Conference on Software Engineering 2009 (03.04.2009)
Published in International Conference on Software Engineering 2009 (03.04.2009)
Get full text
Journal Article
CIVL: the concurrency intermediate verification language
Siegel, Stephen F., Zheng, Manchun, Luo, Ziqing, Zirkel, Timothy K., Marianiello, Andre V., Edenhofner, John G., Dwyer, Matthew B., Rogers, Michael S.
Published in Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (15.11.2015)
Published in Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (15.11.2015)
Get full text
Conference Proceeding
STORM: static unit checking of concurrent programs
Rakamaric, Z.
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
QED: a proof system based on reduction and abstraction for the static verification of concurrent software
Elmas, Tayfun
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
Validation of contracts using enabledness preserving finite state abstractions
de Caso, Guido, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian
Published in 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)
Published in 2009 IEEE 31st International Conference on Software Engineering (16.05.2009)
Get full text
Conference Proceeding
Dynamic symbolic data structure repair
Hussain, Ishtiaque, Csallner, Christoph
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
Leveraging 3D PCRAM technologies to reduce checkpoint overhead for future exascale systems
Dong, Xiangyu, Muralimanohar, Naveen, Jouppi, Norm, Kaufmann, Richard, Xie, Yuan
Published in Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis (14.11.2009)
Published in Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis (14.11.2009)
Get full text
Conference Proceeding
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
Chalin, P.
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Get full text
Conference Proceeding
Precise control flow reconstruction using boolean logic
Reinbacher, Thomas, Brauer, Jörg
Published in Proceedings of the ninth ACM International Conference on Embedded Software (09.10.2011)
Published in Proceedings of the ninth ACM International Conference on Embedded Software (09.10.2011)
Get full text
Conference Proceeding