Communications of the ACM· 2013Q1
Yazılım testi için sembolik yürütme
Symbolic execution for software testing
- 756atıf
- Q1SCImago
- 2013yıl
Kısa özet
Sembolik yürütme, uygulanmasındaki zorluklara rağmen modern yazılım testi için önemli bir vaat sunmaktadır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
ÇıkarımlarUygulamada
Ana noktalarUygulamada
Makaleye SorUygulamada
Devamı Pofolia uygulamasında
Çıkarımlar, ana noktalar ve makaleye soru sorma; ilgi alanına göre her gün yeni özetler. Ücretsiz.
Web'de giriş yaparak açAlan: Yazılım
SoftwareComputer Science