Yazılım alanında öne çıkan makaleler
Pofolia’nın havuzunda Yazılım alt dalından 86 makale var (2012–2024). Aşağıdaki liste en çok atıf alandan başlar.
En çok atıf alanlar
Sıralama atıf sayısına göre. Atıf zamanla biriktiği için bu liste doğal olarak birkaç yıl önce yayımlanmış çalışmalara ağırlık verir; alanın bugünü için “son eklenenler” bölümüne bak.
Primer3—yeni yetenekler ve arayüzler
Primer3—new capabilities and interfaces
Nucleic Acids Research · 2012 · Q1 · SJR 8.00 · FWCI 475.25 · 9.855 atıf · Açık erişim
DNA primer tasarımı için yaygın olarak kullanılan Primer3 yazılımı, erime sıcaklığı tahminini iyileştirmek ve primer saç/dimer oluşumunu azaltmak için daha doğru termodinamik modellerle önemli ölçüde geliştirilmiştir.
UCSF ChimeraX: Yapı oluşturma ve analiz araçları
<scp>UCSF ChimeraX</scp>: Tools for structure building and analysis
Protein Science · 2023 · Q1 · SJR 3.00 · FWCI 780.74 · 4.277 atıf · Açık erişim
UCSF ChimeraX, 3-4 Å gibi zorlu çözünürlüklerde büyük moleküler montajların atomik modellemesi için makine öğreniminden yararlanan yeni hesaplamalı araçlar sunarak doğruluğu artırmıştır.
Yazılım Metrikleri: Titiz ve Pratik Bir Yaklaşım
Software Metrics: A Rigorous and Practical Approach
2013 · FWCI 299.92 · 2.542 atıf
Bu kitap, alandaki onlarca yıllık ilerlemeye dayanarak yazılım metriklerine kapsamlı ve güncel bir rehber sunmaktadır.
Defects4J: Java programları için kontrollü test çalışmaları sağlamak üzere mevcut hatalardan oluşan bir veritabanı
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
2014 · 1.355 atıf
Defects4J, tekrarlanabilir yazılım testi araştırmalarını sağlamak amacıyla 5 açık kaynaklı Java programından 357 gerçek hatayı içeren yeni bir veritabanı ve çerçevedir.
Regresyon testi minimizasyonu, seçimi ve önceliklendirilmesi: bir derleme
Regression testing minimization, selection and prioritization: a survey
Software Testing Verification and Reliability · 2012 · Q2 · FWCI 166.93 · 1.312 atıf
Bu derleme, sürekli büyüyen test paketleri sorununu ele alarak, test vakalarını minimize ederek, seçerek veya önceliklendirerek regresyon testinin maliyetini düşürmeye yönelik teknikler üzerine araştırmaları bir araya getiriyor.
Güvenli Pekiştirmeli Öğrenme Üzerine Kapsamlı Bir İnceleme
A comprehensive survey on safe reinforcement learning
Journal of Machine Learning Research · 2015 · Q1 · SJR 1.00 · FWCI 58.92 · 1.196 atıf
Bu inceleme, Güvenli Pekiştirmeli Öğrenme'nin (GPO) iki ana yaklaşımını kategorize eder ve analiz eder: optimallik kriterinin bir güvenlik faktörü ile değiştirilmesi ve harici bilginin veya risk metriğinin dahil edilmesiyle keşif sürecinin değiştirilmesi.
Yazılım Hata Yerelleştirme Üzerine Bir Derleme
A Survey on Software Fault Localization
IEEE Transactions on Software Engineering · 2016 · Q1 · SJR 1.00 · FWCI 197.96 · 1.083 atıf
Bu derleme, karmaşık programlardaki hataları otomatik olarak belirlemek için tasarlanmış geniş bir yazılım hata yerelleştirme tekniği yelpazesini kategorize eder ve inceler.
Yazılım Testine Giriş
Introduction to Software Testing
Cambridge University Press eBooks · 2021 · FWCI 38.49 · 1.076 atıf
Bu kitap, tek bir tutarlı örnek çalışma aracılığıyla sanat, zanaat ve bilimi birleştiren pratik, adım adım bir yazılım testi yaklaşımı sunmaktadır.
Yazılım Testinde Oracle Problemi: Bir Derleme
The Oracle Problem in Software Testing: A Survey
IEEE Transactions on Software Engineering · 2014 · Q1 · SJR 1.00 · FWCI 57.64 · 1.043 atıf · Açık erişim
Bu derleme, bir girdi verildiğinde sistemin doğru davranışını yanlış davranıştan ayırt etme zorluğu olan 'test oracle problemi'nde otomasyon için mevcut yaklaşımları ve eğilimleri analiz etmektedir.
İnsanlara Güç: Etkileşimli Makine Öğrenmesinde İnsanların Rolü
Power to the People: The Role of Humans in Interactive Machine Learning
AI Magazine · 2014 · Q2 · FWCI 47.61 · 1.030 atıf · Açık erişim
Son kullanıcılardan etkileşimli olarak öğrenebilen makine öğrenmesi sistemleri yaygınlaşmaktadır, ancak ilerleme artık yalnızca algoritmik gelişmelerden ziyade insan kullanıcıyı anlamaya odaklanmaktadır. Bu makale, kullanıcı merkezli bir yaklaşımın hem kullanıcı deneyimini hem de sistem etkinliğini iyileştirebileceğini savunmaktadır.
Unified Modeling Language Kullanım Kılavuzu, 2. Baskı
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
2017 · FWCI 18.95 · 905 atıf
Bu güncellenmiş kılavuz, yazılım sistemleri görselleştirme, belirtme, oluşturma ve belgeleme için endüstri standardı olan Unified Modeling Language'ı (UML) 2.0 sürümüne günceller, bileşenler, iç yapı ve diyagramlar ile profillerin güncellenmiş kapsamı hakkında yeni içerik sunar.
Driller: Seçici Sembolik Yürütme ile Bulanıklığı Artırma
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
2016 · 885 atıf · Açık erişim
Driller, daha derin yazılım güvenlik açıklarını keşfetmek için bulanıklığı seçici sembolik yürütme ile birleştiren yeni bir tekniktir.
Yazılım testi için sembolik yürütme
Symbolic execution for software testing
Communications of the ACM · 2013 · Q1 · SJR 1.00 · FWCI 105.17 · 756 atıf
Sembolik yürütme, uygulanmasındaki zorluklara rağmen modern yazılım testi için önemli bir vaat sunmaktadır.
Yönlendirilmiş Gri Kutu Fuzzing
Directed Greybox Fuzzing
2017 · 729 atıf
Yönlendirilmiş Gri Kutu Fuzzing (DGF), belirli program konumlarına ulaşmak için girdileri verimli bir şekilde üretir, mevcut yönsüz fuzzing ve yönlendirilmiş sembolik yürütmeye göre üstündür.
Dynodroid: Android uygulamaları için bir girdi üretme sistemi
Dynodroid: an input generation system for Android apps
2013 · 707 atıf
Dynodroid, değiştirilmemiş Android uygulamaları için ilgili girdiler üreten yeni bir sistemdir; uygulamaları olay güdümlü programlar olarak ele alır ve sonraki girdileri yönlendirmek için olaylara verilen tepkileri izler.
Alana Özgü Diller
Domain-specific languages
2012 · 660 atıf
Bu kitap, Alana Özgü Diller (DSL'ler) üzerine kapsamlı bir rehber niteliğindedir ve bunların oluşturulması ile uygulanmasına yönelik çeşitli teknikleri detaylandırmaktadır.
Otonom Araç Test ve Doğrulama Süreçlerindeki Zorluklar
Challenges in Autonomous Vehicle Testing and Validation
SAE International Journal of Transportation Safety · 2016 · Q4 · FWCI 93.00 · 649 atıf
Otonom araçların güvenli bir şekilde yaygın olarak kullanılabilmesi için geleneksel hata avcılığından daha metodik bir test yaklaşımı gereklidir. Bu bildiri, ISO 26262 V-model sürecinin otonom sistemlere uygulanmasındaki beş temel zorluğu belirlemektedir.
Oluşum Kapsamına Dayalı Gri Kutu Fuzzing'in Markov Zinciri Olarak Modellenmesi
Coverage-based Greybox Fuzzing as Markov Chain
2016 · 623 atıf
Bu makale, Oluşum Kapsamına Dayalı Gri Kutu Fuzzing'i (CGF) bir Markov zinciri olarak modelleyerek, düşük frekanslı yollara öncelik vermenin keşif verimliliğini önemli ölçüde artırdığını ortaya koyuyor.
Fuzz Testlerinin Değerlendirilmesi
Evaluating Fuzz Testing
2018 · 609 atıf · Açık erişim
32 fuzz testi makalesinin incelenmesi, yeni fuzzing tekniklerinin deneysel değerlendirmelerinde önemli kusurlar olduğunu ve incelenen her çalışmada sorunlar bulunduğunu ortaya koydu.
Metamorfik Test Etme
Metamorphic Testing
ACM Computing Surveys · 2018 · Q1 · SJR 5.00 · FWCI 142.00 · 601 atıf
Metamorfik test etme, program doğruluğunu doğrulamak ve test senaryoları oluşturmak için 'metamorfik ilişkileri' kullanan bir yazılım test tekniğidir; bilinen doğru çıktılar olmasa bile.
Son eklenenler
Büyük Dil Modelleri ile Yazılım Testi: Anket, Manzara ve Vizyon
Software Testing With Large Language Models: Survey, Landscape, and Vision
IEEE Transactions on Software Engineering · 2024 · Q1 · SJR 1.00 · FWCI 196.18 · 419 atıf
102 çalışmanın analizi, Büyük Dil Modellerinin (BDM'ler) yazılım testlerinde, özellikle test senaryosu hazırlama ve program onarımı için giderek daha fazla uygulandığını ortaya koyuyor.
UCSF ChimeraX: Yapı oluşturma ve analiz araçları
<scp>UCSF ChimeraX</scp>: Tools for structure building and analysis
Protein Science · 2023 · Q1 · SJR 3.00 · FWCI 780.74 · 4.277 atıf · Açık erişim
UCSF ChimeraX, 3-4 Å gibi zorlu çözünürlüklerde büyük moleküler montajların atomik modellemesi için makine öğreniminden yararlanan yeni hesaplamalı araçlar sunarak doğruluğu artırmıştır.
Code Llama: Kod İçin Açık Temel Modeller
Code Llama: Open Foundation Models for Code
arXiv (Cornell University) · 2023 · 411 atıf · Açık erişim
Meta AI, kod üretimi ve anlama için açık kaynaklı büyük dil modelleri ailesi olan Code Llama'yı piyasaya sürdü; bu modeller, HumanEval (%67) ve MBPP (%65) gibi kıyaslamalarda açık modeller arasında en gelişmiş performansı sergiliyor.
Büyük Önceden Eğitilmiş Dil Modelleri Çağında Otomatik Program Onarımı
Automated Program Repair in the Era of Large Pre-trained Language Models
2023 · 343 atıf
En gelişmiş Büyük Dil Modellerinin (LLM'ler) Otomatik Program Onarımı (APR) için doğrudan uygulanması, birden fazla dilde ve veri kümesinde daha fazla hatayı düzelterek mevcut tekniklerden önemli ölçüde daha iyi performans gösterir.
Chat GPT ile Programlama Hatalarını Çözme
Use Chat GPT to Solve Programming Bugs
International Journal of Information technology and Computer Engineering · 2023 · FWCI 68.04 · 381 atıf · Açık erişim
Chat GPT, hata ayıklama konusunda açıklamalar, tahminler ve doğrudan çözümler sunarak yardımcı olabilir.
Bu alanı günlük akışına ekle
İlgi alanlarını seç, her gün alanındaki yeni makaleler Türkçe özetleriyle önüne gelsin. Özetlerin tamamı uygulamada.
Uygulamayı aç