similar to: [LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing

Displaying 20 results from an estimated 100 matches similar to: "[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing"

2013 Feb 02
0
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
Very interesting, thanks for the forward! If you're interested in having a link posted on llvm.org, please email the llvmdev mailing list. -Chris On Jan 30, 2013, at 9:42 AM, Marcelo Sousa <marceloabsousa at gmail.com> wrote: > Dear all, > > I would like to share a paper I co-authored with Prof. Alper Sen. This > paper describes an algorithm to generate testbenches from
2013 Dec 17
1
[LLVMdev] Out of tree targets: API Change to MFI::CreateStackObject
Hi, I will soon be committing a change to MachineFrameInfo::CreateStackObject that removes the "bool MayNeedSP" parameter. This API change is part of larger patch that re-works stack layout passes to use analysis from the StackProtector pass to layout StackProtected objects (http://llvm-reviews.chandlerc.com/D2158). Out of tree targets will need to update their usage accordingly. The
2004 Apr 18
2
I need a Wine-Config
2006 Jun 26
2
Flac File Size
Hi, I have a big flac file, i can divide this flac file into chunks by visual basic code, i can add header to these chunks by copying first 1K to other chunks, but chunks can not play properly, i think i need to change filesize from file headers of these chunks, i can read samplerate and samples count from header, but i do not know how can i calculate file size without reading all file, what
2003 May 06
4
Questons about R capabilities
Hello, 1) I am interested in performing a limited-dependent variable linear regression. By this I mean a classical linear regression, but for the case where the values of the dependent variable cannot vary from -infinity to +infinity, but are truncated and so are between two finite limits L1 and L2. Does R1.7 have this capability? If so what is (are) the relevant command(s)? 2) I am also
2013 Sep 14
1
[LLVMdev] Publication: LLVMVF: A Generic Approach for Verification of Multicore Software
Dear all, I'm happy to share a recent publication on a bounded model checker for concurrent programs represented in LLVM IR that integrates the verification framework that I'm developing: Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification of Multicore Software. Journal of Electronic Testing: Theory and Applications, September 2013. (
2003 Aug 01
1
Extracting p-values from modeling
Hello, I have being conducting some (conditional logistic) regressions (clr), and I'm interested in extracting and manipulating (as a number) the p-values. (This is a prelude to some power simulations, where I'll generate data sets, perform a clr on each data set, and then extract the p-value for calculation of the power.) From what I can tell, the p-value is not one of the quantities
2015 Oct 07
2
Chipset & Family
dmesg -t | grep -i nvidia nouveau 0000:02:00.0: NVIDIA G98 (098200a2) input: HDA NVidia Rear Mic as /devices/pci0000:00/0000:00:07.0/sound/card0/input6 input: HDA NVidia Front Mic as /devices/pci0000:00/0000:00:07.0/sound/card0/input7 input: HDA NVidia Line as /devices/pci0000:00/0000:00:07.0/sound/card0/input8 input: HDA NVidia Line Out Front as /devices/pci0000:00/0000:00:07.0/sound/card0/input9
2009 Mar 11
1
Multilevel Modeling using glmmPQL
Hi, I'm trying to perform a power simulation for a simple multilevel model, using the function glmmPQL in R version 2.8.1. I want to extract the p-value for the fixed-effects portion of the regression, but I'm having trouble doing that. I can extract the coefficients (summary(fit)$coeff), and the covariance matrix (summary(fit)$varFix), but I can't grab the p-value (or the
2008 Feb 04
8
AGI: Not getting answers from get_data in a call-file call
I have the following situation: I drop a call-file into the Asterisk spool directory and I get called back. That all works. And I have this script: #!/usr/bin/perl -w use Asterisk::AGI; my $AGI = new Asterisk::AGI; my %input = $AGI->ReadParse(); $AGI->answer(); my $i; $i = $AGI->channel_status(); $AGI->say_digits($i); $i =
2006 Nov 07
2
Which genetic optimization package allows customized crossover and mutation operation
Hi, I am looking for genetic optimization package that allow to define my own chromosome solution and crossover/mutation opoerations. I checked genoud and genopt, not with much effort of 'cause, with no luck. Any one can shed some light on this? thanks.
2008 Aug 15
1
stopifnot message mutation
Dear R-users, Could someone please explain why the message printed by function stopifnot2, see below, is different from that of stopifnot itself? Thank you for your help, Vadim > stopifnot2 <- function(...) stopifnot(...) > stopifnot(F) Error: F is not TRUE > stopifnot2(F) Error: ..1 is not TRUE > version _ platform i386-pc-mingw32 arch i386 os
2023 Dec 01
2
Mann Kendall mutation package?
Hello - does anyone know whether there are any packages for Mann-Kendall mutation tests in R available? The only one I could find online is this MK_mut_test: Mann-Kendall mutation test in Sibada/sibadaR: Sibada's accumulated R scripts for next probably use to avoid reinventing the wheel. (rdrr.io) <https://rdrr.io/github/Sibada/sibadaR/man/MK_mut_test.html> but there doesn't seem to
2017 Jan 05
2
LLVM-based Mutation Testing, first results.
Hello, everybody. We are working on a tool for mutation testing. The work is still in progress and far away from being done. However, we have got some results already. And we would like to share them with you. But, let me give you a brief introduction first. ### Mutation Testing In a nutshell, Mutation Testing is a way to evaluate a quality of a test suite. The approach suggests introducing a
2012 Feb 27
0
Correct call duration when transfer a call
Hi. I am new to asterisk. I have an ivr application with asterisk and voiceglue. I make a call from asterisk (say to A) and when callee press a button voiceglue transfer the callee to another number (say to B). When I look cdr records the billsec between A and B always 0 and billsec with A shows the billsec for A and B. I am confused. Is there a reliable way to get the real call durations? Best
2004 Mar 19
0
How to do a truncated regression
Hi, I'm interested in performing a regression of dependent variable y on independent variable x, where (x,y) are known only for y < c, where c is a constant. For y >= c, neither x or y are known. This is called a truncated regression, I believe. I read a post on the R help list, that recommended doing the following: "The form for the response is Surv(c,y,1), but it
2010 Aug 22
2
CRAN (and crantastic) updates this week
CRAN (and crantastic) updates this week New packages ------------ * DCGL (1.0) Bao-Hong Liu http://crantastic.org/packages/DCGL Functions for basic differential coexpression analyses: gene filtering, link filtering, DCG (Differentially-Coexpressed Gene) identification and DCL (Differentially-Coexpressed Links) identification.Two algorithms,named DCP and DCe, are provided for
2005 Feb 22
3
problems with nonlinear fits using nls
Hello colleagues, I am attempting to determine the nonlinear least-squares estimates of the nonlinear model parameters using nls. I have come across a common problem that R users have reported when I attempt to fit a particular 3-parameter nonlinear function to my dataset: Error in nls(r ~ tlm(a, N.fix, k, theta), data = tlm.data, start = list(a = a.st, : step factor 0.000488281
2009 Mar 13
0
Polices, Rules and Configurations - No Success (#/etc/shorewall/policy)
Hello, I forgot to put my #/etc/shorewall/policy file: # /etc/shorewall/policy ############################################################################### #SOURCE DEST POLICY LOG LIMIT: CONNLIMIT: # LEVEL BURST MASK # adm net DROP info tlm net DROP info # net adm DROP
2012 Dec 11
2
[LLVMdev] Possible bug in DFAPacketizer::ReadTable
Great! Can you please check in that test case or better still, a reduced version of that test. Thanks -Anshu --- Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted by The Linux Foundation On 12/11/2012 5:47 AM, Carlos Sánchez de La Lama wrote: > Hi again, > > I can confirm r169783 fixes the problem. My testbench segfaulted in > r169782 but works after your