Top 10 Arxiv Papers Today in Software Engineering


2.152 Mikeys
#1. Building Fast Fuzzers
Rahul Gopinath, Andreas Zeller
Fuzzing is one of the key techniques for evaluating the robustness of programs against attacks. Fuzzing has to be effective in producing inputs that cover functionality and find vulnerabilities. But it also has to be efficient in producing such inputs quickly. Random fuzzers are very efficient, as they can quickly generate random inputs; but they are not very effective, as the large majority of inputs generated is syntactically invalid. Grammar-based fuzzers make use of a grammar (or another model for the input language) to produce syntactically correct inputs, and thus can quickly cover input space and associated functionality. Existing grammar-based fuzzers are surprisingly inefficient, though: Even the fastest grammar fuzzer Dharma still produces inputs about a thousand times slower than the fastest random fuzzer. So far, one can have an effective or an efficient fuzzer, but not both. In this paper, we describe how to build fast grammar fuzzers from the ground up, treating the problem of fuzzing from a programming language...
more | pdf | html
Figures
None.
Tweets
binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
HNTweets: Building Fast Fuzzers: https://t.co/7UHTB0yV1C Comments: https://t.co/DhQ034n5Dv
dgryski: Building Fast Fuzzers From @AndreasZeller and @_rahulgopinath https://t.co/9SsCBuAGBF
gamozolabs: Gonna start a new series on my Twitch (https://t.co/rlrNen7G6S) called "Paper Review". Tonight (undetermined stream time) we're gonna look through the "Building Fast Fuzzers" paper, which is the "worlds fastest grammar fuzzer" https://t.co/g7ij2WM0UZ
hn_frontpage: Building Fast Fuzzers L: https://t.co/cENEe55fr4 C: https://t.co/GOL1IeyYb6
securisec: "RT RT _rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/ACSN3InDON Try out our F1 prototype at https://t.co/B5sdzg9CWO"
W3BGUY: Building Fast Fuzzers https://t.co/JiRE6aJRYJ #HackThePlanet
hacker_news_hir: Building Fast Fuzzers : https://t.co/cdsMFNTbwR Comments: https://t.co/WBDWmdX4xN
revskills: Building Fast Fuzzers [PDF] https://t.co/tRmzupd1Cf
_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2 Try out our F1 prototype at https://t.co/T5i2na7Bfx
_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2 Try out our F1 prototype at https://t.co/3hd0wxiLej
Dinosn: Building Fast Fuzzers https://t.co/xPbgNde6j6
angsuman: Building Fast Fuzzers https://t.co/vdEGf4GT9k
_r_netsec: Building Fast Fuzzers https://t.co/9FFT4VcHp9
osxreverser: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
daveaitel: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
pentestit: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Dinosn: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
opexxx: RT @_r_netsec: Building Fast Fuzzers https://t.co/9FFT4VcHp9
timstrazz: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
JoeBeOne: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
matalaz: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
practicalswift: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
riusksk: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
nono2357: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
AndreasZeller: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0x09AL: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
NytroRST: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
the_st0rm: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Fr333k: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
yarai1978: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
k0st: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Serianox_: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
FlUxIuS: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
perribus: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
MrNox_: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0x_saudi: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
janxin: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
1101_debian: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
cxstephens: RT @binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
nader_shalabi: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
ak1010: RT @Dinosn: Building Fast Fuzzers https://t.co/xPbgNde6j6
mweissbacher: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
THB_STX: RT @_r_netsec: Building Fast Fuzzers https://t.co/9FFT4VcHp9
mitp0sh: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
NeomindMusic: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
ma1fan: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0xNikhilRathor: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0xNikhilRathor: RT @binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
hugo_glez: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
rubikk: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
fvrmatteo: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
ecirugur: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
day6reak: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
nanothyll: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
lakiw: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
zadow28: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
peternguyen14: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
RiggerManuel: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
h4z3dic: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
symeonp: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
oegerikus: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
christianrossow: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
jchcov: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
MPAlonso_: RT @binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
0x710DDDD: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
wahmed23: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
TheHaloVamp: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
JAX_MASTERS: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
xorkiwi: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
clairvoyant_the: RT @binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
Xp_L0iT_3r: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0xjar8: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0xJ0ker: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0xd3xt3r: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
revskills: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
chubbymaggie: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
bik3te: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
da_n1n0: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
insecur1tea: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
andrzejdyjak: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
tod4ro: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
King4q1: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
TempAccountNull: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
petertsehsun: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
FrenchYeti: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
klawehtsti: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
abdul0x1: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
svebug: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Adarsh14287: RT @binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
drenoiu: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
anonimcoder: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
happyf337: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
0xdagger: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
arosaina: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
link_vector: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
IBAK23: RT @binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
realJuanArias: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
NeobeePaul: RT @_r_netsec: Building Fast Fuzzers https://t.co/9FFT4VcHp9
abuhajar87: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Atharvvashishth: RT @binitamshah: Building Fast Fuzzers : https://t.co/h3dyMAP2ME (pdf)
hackingforbeer: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Dick_Reverse: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
unkn0wnFalleN: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Bl1nnnk: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
y0ny0ns0n: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
mkviitanen: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
FrankThmas: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
MSecE86: RT @_rahulgopinath: Announcing the world’s fastest (grammar) fuzzer, producing millions of test cases per second: https://t.co/YNy3fpcnM2…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

2.004 Mikeys
#2. Agile Ways of Working: A Team Maturity Perspective
Lucas Gren, Alfredo Goldman, Christian Jacobsson
With the agile approach to managing software development projects comes an increased dependability on well functioning teams, since many of the practices are built on teamwork. The objective of this study was to investigate if, and how, team development from a group psychological perspective is related to some work practices of agile teams. Data were collected from 34 agile teams (200 individuals) from six software development organizations and one university in both Brazil and Sweden using the Group Development Questionnaire (Scale IV) and the Perceptive Agile Measurement (PAM). The result indicates a strong correlation between levels of group maturity and the two agile practices \emph{iterative development} and \emph{retrospectives}. We, therefore, conclude that agile teams at different group development stages adopt parts of team agility differently, thus confirming previous studies but with more data and by investigating concrete and applied agile practices. We thereby add evidence to the hypothesis that an agile...
more | pdf | html
Figures
None.
Tweets
LucasGrenen: Two accepted journal papers in 3 days. Great 😀These two also complement each other nicely: The Journal of Software: Evolution and Process (preprint: https://t.co/t9gaLAMlau) and @ieeesoftware (preprint: https://t.co/TGk02ZyJBK) Thanks to Alfredo and Christian!
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

2.001 Mikeys
#3. Rebuttal to Berger et al., TOPLAS 2019
Baishakhi Ray, Prem Devanbu, Vladimir Filkov
Berger et al., published in TOPLAS 2019, is a critique of our 2014 FSE conference abstract and its archival version, the 2017 CACM paper: A Large-Scale Study of Programming Languages and Code Quality in Github. In their paper Berger et al. make academic claims about the veracity of our work. Here, we respond to their technical and scientific critiques aimed at our work, attempting to stick with scientific discourse. We find that Berger et al. largely replicated our results, and agree with us in their conclusion: that the effects (in a statistical sense) found in the data are small, and should be taken with caution, and that it is possible that an absence of effect is the correct interpretation. Thus, our CACM paper's conclusions still hold, even more so now that they have been reproduced, and our paper is eminently citable.
more | pdf | html
Figures
Tweets
FelixMulder: Software empiricism fight! https://t.co/ePJJ5LV60M On a serious note: very happy to see this subject being studied in a (to me) larger forum more easily accessible. With the linked study being the rebuttal to a replication study. LISTEN! *Rebuttal to replication*. Awesome.
vlfilkov: Happy to announce our rebuttal of Berger et al., TOPLAS 2019 paper, available on Medium https://t.co/f1C4S6a8Ga. Full, gory details are on ArXiv https://t.co/NdhHkLNdUq. Tl;dr: our results hold, they reproduced them, their study has many issues.
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 4570
Unqiue Words: 1565

1.999 Mikeys
#4. DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of BIP models is done in a purely textual manner without any code editor support. To facilitate the specification of BIP models, we present DesignBIP, a web-based, collaborative, version-controlled design studio. To promote model scaling and reusability of BIP models, we use a graphical language for modeling parameterized BIP models with rigorous semantics. We present the various services provided by the design studio, including model editors, code editors, consistency checking mechanisms, code generators, and integration with the JavaBIP tool-set.
more | pdf | html
Figures
None.
Tweets
arxiv_cslo: DesignBIP: A Design Studio for Modeling and Generating Systems with BIP https://t.co/f7C8Xppx9z
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

1.998 Mikeys
#5. Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits
Achyudh Ram, Ji Xin, Meiyappan Nagappan, Yaoliang Yu, Rocío Cabrera Lozoya, Antonino Sabetta, Jimmy Lin
Public vulnerability databases such as CVE and NVD account for only 60% of security vulnerabilities present in open-source projects, and are known to suffer from inconsistent quality. Over the last two years, there has been considerable growth in the number of known vulnerabilities across projects available in various repositories such as NPM and Maven Central. Such an increasing risk calls for a mechanism to infer the presence of security threats in a timely manner. We propose novel hierarchical deep learning models for the identification of security-relevant commits from either the commit diff or the source code for the Java classes. By comparing the performance of our model against code2vec, a state-of-the-art model that learns from path-based representations of code, and a logistic regression baseline, we show that deep learning models show promising results in identifying security-related commits. We also conduct a comparative analysis of how various deep learning models learn across different input representations and the...
more | pdf | html
Figures
None.
Tweets
arxiv_cscl: Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits https://t.co/BiluleyQNl
arxiv_cscl: Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits https://t.co/BiluleyQNl
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 7
Total Words: 0
Unqiue Words: 0

1.998 Mikeys
#6. Autonomics: In Search of a Foundation for Next Generation Autonomous Systems
David Harel, Assaf Marron, Joseph Sifakis
The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issues to be dealt with before such development becomes commonplace engineering practice, with accepted and trustworthy deliverables. We argue that a solid, evolving, publicly available, community-controlled foundation for developing next generation autonomous systems is a must. We discuss what is needed for such a foundation, identify a central aspect thereof, namely, decision-making, and focus on three main challenges: (i) how to specify autonomous system behavior and the associated decisions in the face of unpredictability of future events and conditions and the inadequacy of current languages for describing these; (ii) how to carry out faithful simulation and analysis of system behavior with respect to rich environments that include humans, physical artifacts, and other systems,; and (iii) how to engineer systems that combine executable model-driven...
more | pdf | html
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 10324
Unqiue Words: 3212

1.998 Mikeys
#7. Combining Program Analysis and Statistical Language Model for Code Statement Completion
Son Nguyen, Tien N. Nguyen, Yi Li, Shaohua Wang
Automatic code completion helps improve developers' productivity in their programming tasks. A program contains instructions expressed via code statements, which are considered as the basic units of program execution. In this paper, we introduce AutoSC, which combines program analysis and the principle of software naturalness to fill in a partially completed statement. AutoSC benefits from the strengths of both directions, in which the completed code statement is both frequent and valid. AutoSC is first trained on a large code corpus to derive the templates of candidate statements. Then, it uses program analysis to validate and concretize the templates into syntactically and type-valid candidate statements. Finally, these candidates are ranked by using a language model trained on the lexical form of the source code in the code corpus. Our empirical evaluation on the large datasets of real-world projects shows that AutoSC achieves 38.9-41.3% top-1 accuracy and 48.2-50.1% top-5 accuracy in statement completion. It also outperforms a...
more | pdf | html
Figures
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : [26]
Authors: 4
Total Words: 11104
Unqiue Words: 2739

1.998 Mikeys
#8. patch2vec: Distributed Representation of Code Changes
Rocìo Cabrera Lozoya, Arnaud Baumann, Antonino Sabetta, Michele Bezzi
Deep learning methods, which have found successful applications in fields like image classification and natural language processing, have recently been applied to source code analysis too, due to the enormous amount of freely available source code (e.g., from open-source software repositories). In this work, we elaborate upon a state-of-the-art approach to the representation of source code that uses information about its syntactic structure, and we adapt it to represent source changes (i.e., commits). We use this representation to classify security-relevant commits. Because our method uses transfer learning (that is, we train a network on a "pretext task" for which abundant labeled data is available, and then we use such network for the target task of commit classification, for which fewer labeled instances are available), we studied the impact of pre-training the network using two different pretext tasks versus a randomly initialized model. Our results indicate that representations that leverage the structural information...
more | pdf | html
Figures
None.
Tweets
BrundageBot: patch2vec: Distributed Representation of Code Changes. Rocìo Cabrera Lozoya, Arnaud Baumann, Antonino Sabetta, and Michele Bezzi https://t.co/yHyQC9QESt
arxivml: "patch2vec: Distributed Representation of Code Changes", Rocìo Cabrera Lozoya, Arnaud Baumann, Antonino Sabetta, Mi… https://t.co/ulBxlOKrOe
SciFi: patch2vec: Distributed Representation of Code Changes. https://t.co/ZDjzUdmyM9
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 0
Unqiue Words: 0

1.998 Mikeys
#9. Effects of Visualizing Technical Debts on a Software Maintenance Project
Ronivon Dias, Pedro Neto, Irvayne Ibiapina, Guilherme Avelino e Otavio Castro
The technical debt (TD) metaphor is widely used to encapsulate numerous software quality problems. She describes the trade-off between the short term benefit of taking a shortcut during the design or implementation phase of a software product (for example, in order to meet a deadline) and the long term consequences of taking said shortcut, which may affect the quality of the software product. TDs must be managed to guarantee the software quality and also reduce its maintenance and evolution costs. However, the tools for TD detection usually provide results only considering the files perspective (class and methods), that is not usual during the project management. In this work, a technique is proposed to identify/visualize TD on a new perspective: software features. The proposed technique adopts Mining Software Repository (MRS) tools to identify the software features and after the technical debts that affect these features. Additionally, we also proposed an approach to support maintenance tasks guided by TD visualization at the...
more | pdf | html
Figures
None.
Tweets
arxiv_cshc: Effects of Visualizing Technical Debts on a Software Maintenance Project https://t.co/0xLdNaOHBY
arxiv_cshc: Effects of Visualizing Technical Debts on a Software Maintenance Project https://t.co/0xLdNax6do
arxiv_cshc: Effects of Visualizing Technical Debts on a Software Maintenance Project https://t.co/0xLdNaOHBY
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 0
Unqiue Words: 0

1.998 Mikeys
#10. Feature-Interaction Aware Configuration Prioritization for Configurable Code
Son Nguyen, Hoan Nguyen, Ngoc Tran, Hieu Tran, Tien N. Nguyen
Unexpected interactions among features induce most bugs in a configurable software system. Exhaustively analyzing all the exponential number of possible configurations is prohibitively costly. Thus, various sampling techniques have been proposed to systematically narrow down the exponential number of legal configurations to be analyzed. Since analyzing all selected configurations can require a huge amount of effort, fault-based configuration prioritization, that helps detect faults earlier, can yield practical benefits in quality assurance. In this paper, we propose CoPro, a novel formulation of feature-interaction bugs via common program entities enabled/disabled by the features. Leveraging from that, we develop an efficient feature-interaction aware configuration prioritization technique for a configurable system by ranking the configurations according to their total number of potential bugs. We conducted several experiments to evaluate CoPro on the ability to detect configuration-related bugs in a public benchmark. We found...
more | pdf | html
Figures
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 5
Total Words: 11278
Unqiue Words: 2925

About

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

Tracking 225,779 papers.

Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Categories
All
Astrophysics
Cosmology and Nongalactic Astrophysics
Earth and Planetary Astrophysics
Astrophysics of Galaxies
High Energy Astrophysical Phenomena
Instrumentation and Methods for Astrophysics
Solar and Stellar Astrophysics
Condensed Matter
Disordered Systems and Neural Networks
Mesoscale and Nanoscale Physics
Materials Science
Other Condensed Matter
Quantum Gases
Soft Condensed Matter
Statistical Mechanics
Strongly Correlated Electrons
Superconductivity
Computer Science
Artificial Intelligence
Hardware Architecture
Computational Complexity
Computational Engineering, Finance, and Science
Computational Geometry
Computation and Language
Cryptography and Security
Computer Vision and Pattern Recognition
Computers and Society
Databases
Distributed, Parallel, and Cluster Computing
Digital Libraries
Discrete Mathematics
Data Structures and Algorithms
Emerging Technologies
Formal Languages and Automata Theory
General Literature
Graphics
Computer Science and Game Theory
Human-Computer Interaction
Information Retrieval
Information Theory
Machine Learning
Logic in Computer Science
Multiagent Systems
Multimedia
Mathematical Software
Numerical Analysis
Neural and Evolutionary Computing
Networking and Internet Architecture
Other Computer Science
Operating Systems
Performance
Programming Languages
Robotics
Symbolic Computation
Sound
Software Engineering
Social and Information Networks
Systems and Control
Economics
Econometrics
General Economics
Theoretical Economics
Electrical Engineering and Systems Science
Audio and Speech Processing
Image and Video Processing
Signal Processing
General Relativity and Quantum Cosmology
General Relativity and Quantum Cosmology
High Energy Physics - Experiment
High Energy Physics - Experiment
High Energy Physics - Lattice
High Energy Physics - Lattice
High Energy Physics - Phenomenology
High Energy Physics - Phenomenology
High Energy Physics - Theory
High Energy Physics - Theory
Mathematics
Commutative Algebra
Algebraic Geometry
Analysis of PDEs
Algebraic Topology
Classical Analysis and ODEs
Combinatorics
Category Theory
Complex Variables
Differential Geometry
Dynamical Systems
Functional Analysis
General Mathematics
General Topology
Group Theory
Geometric Topology
History and Overview
Information Theory
K-Theory and Homology
Logic
Metric Geometry
Mathematical Physics
Numerical Analysis
Number Theory
Operator Algebras
Optimization and Control
Probability
Quantum Algebra
Rings and Algebras
Representation Theory
Symplectic Geometry
Spectral Theory
Statistics Theory
Mathematical Physics
Mathematical Physics
Nonlinear Sciences
Adaptation and Self-Organizing Systems
Chaotic Dynamics
Cellular Automata and Lattice Gases
Pattern Formation and Solitons
Exactly Solvable and Integrable Systems
Nuclear Experiment
Nuclear Experiment
Nuclear Theory
Nuclear Theory
Physics
Accelerator Physics
Atmospheric and Oceanic Physics
Applied Physics
Atomic and Molecular Clusters
Atomic Physics
Biological Physics
Chemical Physics
Classical Physics
Computational Physics
Data Analysis, Statistics and Probability
Physics Education
Fluid Dynamics
General Physics
Geophysics
History and Philosophy of Physics
Instrumentation and Detectors
Medical Physics
Optics
Plasma Physics
Popular Physics
Physics and Society
Space Physics
Quantitative Biology
Biomolecules
Cell Behavior
Genomics
Molecular Networks
Neurons and Cognition
Other Quantitative Biology
Populations and Evolution
Quantitative Methods
Subcellular Processes
Tissues and Organs
Quantitative Finance
Computational Finance
Economics
General Finance
Mathematical Finance
Portfolio Management
Pricing of Securities
Risk Management
Statistical Finance
Trading and Market Microstructure
Quantum Physics
Quantum Physics
Statistics
Applications
Computation
Methodology
Machine Learning
Other Statistics
Statistics Theory
Feedback
Online
Stats
Tracking 225,779 papers.