Search Results - "СИМВОЛЬНОЕ ВЫПОЛНЕНИЕ"

Source: Modeling and Analysis of Information Systems; Том 21, № 6 (2014); 83-93 ; Моделирование и анализ информационных систем; Том 21, № 6 (2014); 83-93 ; 2313-5417 ; 1818-1015

Subject Terms: SMT, dynamic symbolic execution, bounded model checking, satisfiability modulo theories, function contracts, динамическое символьное выполнение, ограниченная проверка моделей, контракты кода

File Description: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/73/71; Marat Akhin, Mikhail Belyaev, and Vladimir Itsykson. Yet another defect detection: Combining bounded model checking and code contracts // PSSV’13. 2013. P. 1–11.; Alessandro Armando, Jacopo Mantovani, and Lorenzo Platania. Bounded model checking of software using SMT solvers instead of SAT solvers // Int. J. Softw. Tools Technol. Transf. 2009. 11(1). P. 69–83.; Patrick Baudin, Jean C. Filliˆatre, Thierry Hubert, Claude March´e, Benjamin Monate, Yannick Moy, and Virgile Prevosto // ACSL: ANSI/ISO C Specification Language. Preliminary Design, version 1.4, 2008., preliminary edition, may 2008.; Kent Beck. Test-driven development: by example. Addison-Wesley Professional, 2003.; Boris Beizer. Software testing techniques. Dreamtech Press, 2003.; Dirk Beyer. Competition on software verification // TACAS’12. Springer, 2012. P. 504–524.; Armin Biere, Alessandro Cimatti, Edmund M. Clarke, and Yunshan Zhu. Symbolic model checking without BDDs // TACAS’9. 1999. P. 193–207.; Edmund Clarke, Daniel Kroening, and Flavio Lerda. A tool for checking ANSI-C programs // TACAS’04. 2004. P. 168–176.; David M Cohen, Siddhartha R Dalal, Jesse Parelius, and Gardner C Patton. The combinatorial design approach to automatic test generation // IEEE software. 1996. 13(5). P. 83–88.; Lucas Cordeiro, Bernd Fischer, and Joao Marques-Silva. SMT-based bounded model checking for embedded ANSI-C software // ASE’09. 2009. P. 137–148.; Leonardo De Moura and Nikolaj Bjørner. Z3: An efficient SMT solver. 2008. P. 337–340.; RA DeMilli and A. Jefferson Offutt. Constraint-based automatic test data generation // Software Engineering, IEEE Transactions on. 1991. 17(9). P. 900–910.; Patrice Godefroid, Nils Klarlund, and Koushik Sen. DART: directed automated random testing // ACM Sigplan Notices. ACM, 2005. Vol. 40. P. 213–223.; Richard Hamlet. Random testing // Encyclopedia of software Engineering, 1994.; Franjo Ivanˇci´c and Sriram Sankaranarayanan. NECLA static analysis benchmarks.; Anil Kumar and J St Clair. Cunit-a unit testing framework for c // Diposnıvel em: http://cunit. sourceforge. net/doc/index. html. Acesso em, 25, 2005.; Chris Lattner. LLVM and Clang: Next generation compiler technology // The BSD Conference, 2008.; Chris Lattner and Vikram Adve. LLVM: A compilation framework for lifelong program analysis & transformation // CGO’04. 2004. P. 75–86.; Florian Merz, Stephan Falke, and Carsten Sinz. LLBMC: Bounded model checking of C and C++ programs using a compiler IR // VSTTE’12. 2012. P. 146–161.; Bertrand Meyer. Applying ‘design by contract’ // Computer. 1992. 25(10). P. 40–51.; Glenford J Myers, Corey Sandler, and Tom Badgett // The art of software testing. John Wiley & Sons, 2011.; Clementine Nebut, Franck Fleurey, Yves Le Traon, and J-M Jezequel. Automatic test generation: A use case driven approach // Software Engineering, IEEE Transactions on. 2006. 32(3). P. 140–155.; Carlos Pacheco, Shuvendu K Lahiri, Michael D Ernst, and Thomas Ball. Feedback-directed random test generation // Software Engineering, 2007. ICSE 2007. 29th International Conference on. IEEE, 2007. P. 75–84.; Koushik Sen, Darko Marinov, and Gul Agha. CUTE: a concolic unit testing engine for C // ACM, 2005. Vol. 30.; Nikolai Tillmann and Jonathan De Halleux. Pex—white box test generation for .Net // Tests and Proofs. Springer, 2008. P. 134–153.; Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. Fitness-guided path exploration in dynamic symbolic execution // IEEE, 2009. P. 359–368.

Availability: https://www.mais-journal.ru/jour/article/view/73
https://doi.org/10.18255/1818-1015-2014-6-83-93

View record from BASE

17

Academic Journal

Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения

Source: Труды Института системного программирования РАН.

Subject Terms: СТАТИЧЕСКИЙ АНАЛИЗ,СИМВОЛЬНОЕ ВЫПОЛНЕНИЕ,МЕЖПРОЦЕДУРНЫЙ АНАЛИЗ,КОНТЕКСТНО-ЧУВСТВИТЕЛЬНЫЙ АНАЛИЗ,РЕЗЮМЕ,C,C++,CLANG STATIC ANALYZER,STATIC ANALYSIS,SYMBOLIC EXECUTION,INTERPROCEDURAL ANALYSIS,CONTEXT-SENSITIVE ANALYSIS,SUMMARY-BASED ANALYSIS

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/osnovannyy-na-rezyume-metod-realizatsii-proizvolnyh-kontekstno-chuvstvitelnyh-proverok-pri-analize-ishodnogo-koda-posredstvom
http://cyberleninka.ru/article_covers/16681895.png

View record at OpenAIRE Full Text Finder

18

Academic Journal

СТРУКТУРНОЕ ТЕСТИРОВАНИЕ ПРОГРАММНЫХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ЭЛЕМЕНТОВ КОМПЬЮТЕРНОЙ АЛГЕБРЫ ; СТРУКТУРНЕ ТЕСТУВАННЯ ПРОГРАМНИХ СИСТЕМ З ВИКОРИСТАННЯМ ЕЛЕМЕНТІВ КОМП’ЮТЕРНОЇ АЛГЕБРИ ; STRUCTURAL TESTING OF SOFTWARE SYSTEMS USING ELEMENTS OF COMPUTER ALGEBRA

Authors: Ломакина, Л. С., Вигура, А. Н., Ломакіна, Л. С., Lomakina, Lyubov S., Vigura, Anton N., Вігура, А. М.

Subject Terms: программные системы, тестирование, генерация тестовых данных, алгебраическая модель, символьное выполнение, програмні системи, тестування, генерація тестових даних, алгебраїчна модель, символьне виконання, software systems, testing, test data generation, algebraic model, symbolic execution

Relation: Ломакина, Л. С. Структурное тестирование программных систем с использованием элементов компьютерной алгебры / Л. С. Ломакина, А. Н. Вигура // Інформатика та математичні методи в моделюванні. - 2013. - Т. 3, № 3. _ С. 201-214.; http://dspace.opu.ua/xmlui/handle/123456789/1539

Availability: http://dspace.opu.ua/xmlui/handle/123456789/1539

View record from BASE

19

Academic Journal